bug-discovery

标签

#bug-discovery

在Dummit和Foote的Abstract Algebra中发现一个错误

Hacker News Top ↗ · 2026-09-04 缓存

这篇博客文章详细描述了作者在Rocq中形式化《Dummit和Foote的Abstract Algebra》教材时发现的一个错误：关于单射函数和左逆的一个命题对空集不成立。

0 人收藏 0 人点赞