Theorem StarSubalgebra.mem_bot

Modification history