Theorem ClosureOperator.closure_is_closed

Modification history