Theorem GaloisConnection.l_csSup'

Modification history