Theorem NonUnitalStarAlgebra.comap_top

Modification history