Theorem IsClosed.not

Modification history