Theorem NonUnitalStarAlgebra.adjoin_induction

Modification history