Theorem StarAlgebra.adjoin_eq

Modification history