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