Theorem IsLocalization.algHom_subsingleton

Modification history