Theorem NonUnitalStarAlgebra.adjoin_eq

Modification history