Theorem elementalStarAlgebra.star_self_mem

Modification history