Theorem NonUnitalAlgebra.subset_adjoin

Modification history