Theorem StarAlgebra.adjoin_nonUnitalStarSubalgebra_eq_span

Modification history