Theorem IsComplete.isClosed

Modification history