Theorem IsRightCancelMulZero.to_noZeroDivisors
Modification history
2025-03-29 10:26
Mathlib/Algebra/Ring/Basic.lean
feat: generalize Mathlib.Algebra.Group+Ring+Field (#23143) …
Modified IsRightCancelMulZero.to_noZeroDivisorsView on Github →2024-12-09 09:03
Mathlib/Algebra/Ring/Basic.lean
chore(Algebra/Ring): generalize Injective.isDomain (#19768)
Modified IsRightCancelMulZero.to_noZeroDivisorsView on Github →