mathlib
98942ab5 - feat(ring_theory): non-zero divisors are not zero (#9043)

Commit

4 years ago

feat(ring_theory): non-zero divisors are not zero (#9043) I'm kind of suprised we didn't have this before!

Author

Vierkantor

Parents