mathlib3
93600fcf - feat(ring_theory): non-zero divisors are not zero

Commit

4 years ago

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

Author

Vierkantor

Committer

Vierkantor

Parents