Theorem GaloisConnection.isGreatest_u

Modification history