Theorem ClosureOperator.setOf_isClosed_eq_range_closure

Modification history