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