Theorem StarAlgebra.elemental.self_mem

Modification history