Def LowerAdjoint.closureOperator

Modification history