Theorem StarSubalgebra.subset_adjoin

Modification history