Def compactOperator

Modification history