Theorem StarSubalgebra.adjoin_eq_starClosure_adjoin

Modification history