Theorem NonUnitalSubring.map_equiv_eq_comap_symm

Modification history