Def closure_operator.mk'

Modification history