Def GaloisConnection.closureOperator

Modification history