Theorem IsLocalization.mk'_eq_of_eq

Modification history