Theorem IsLocalization.ker_map

Modification history