Theorem IsLocalization.coe_toLocalizationMap

Modification history