Theorem Localization.mk_eq_monoidOf_mk'_apply

Modification history