Theorem IsClosed.isComplete

Modification history