Theorem IsLocalization.algEquiv_comp_algebraMap

Modification history