Theorem GaloisConnection.l_le

Modification history