Def ClosureOperator.conjBy

Modification history