Theorem IsLocalization.mk'_add_eq_iff_add_mul_eq_mul

Modification history