Theorem Localization.mk_eq_mk_iff

Modification history