Theorem ClosureOperator.ext

Modification history