Theorem NonUnitalAlgebra.adjoin_eq

Modification history