Theorem IsLocalization.AtPrime.isUnit_mk'_iff

Modification history