Theorem IsClosed.hypograph

Modification history