Theorem StarSubalgebra.subtype_comp_inclusion

Modification history