Theorem StarAlgebra.elemental.star_self_mem

Modification history