Mathlib Changelog
v4
Changelog
About
Github
Theorem
isRegular_iff_ne_zero'
Modification history
2022-11-30 05:06
Mathlib/Algebra/Ring/Regular.lean
feat: port Algebra.Ring.Regular (#795) …
Added
isRegular_iff_ne_zero'
View on Github →