Def ClosureOperator.toCloseds

Modification history