Theorem GaloisConnection.l_unique

Modification history