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