Theorem NonUnitalAlgebra.adjoin_induction_subtype

Modification history