Theorem StarSubalgebra.mem_infᵢ

Modification history