Theorem NonUnitalAlgebra.adjoin_le_algebra_adjoin

Modification history