Theorem ClosureOperator.closure_top

Modification history