Theorem StarSubalgebra.mem_sup_right

Modification history