Theorem IsLocalization.mk'_eq_iff_eq_mul

Modification history