Theorem elementalStarAlgebra.self_mem

Modification history