Theorem ClosureOperator.IsClosed.closure_le_iff

Modification history