Def ClosureOperator.mk'

Modification history