Theorem NonUnitalAlgebra.adjoin_univ

Modification history