Theorem GaloisConnection.monotone_l

Modification history