Theorem elementalStarAlgebra.isClosed

Modification history