Theorem StarSubalgebra.adjoin_le

Modification history