Def GaloisConnection.liftOrderTop

Modification history