Theorem IsLocalization.map_units

Modification history