Theorem NonUnitalAlgebra.adjoin_induction'

Modification history