Theorem NonUnitalAlgebra.adjoin_induction

Modification history