Theorem NonUnitalStarAlgebra.adjoin_induction'

Modification history