Theorem StarAlgebra.elemental.le_iff_mem

Modification history