Theorem StarAlgebra.elemental.isClosed

Modification history