Theorem GaloisConnection.monotone_intro

Modification history