Def GaloisConnection.toGaloisInsertion

Modification history