Theorem NonUnitalSubalgebra.gc_map_comap

Modification history