Theorem IsLocalRing.residue_ne_zero_iff_isUnit

Modification history