Theorem Localization.mk_one_eq_monoidOf_mk

Modification history