Theorem Localization.toLocalizationMap_eq_monoidOf

Modification history