Theorem IsClosed.isClopenable

Modification history