Theorem GaloisConnection.l_supₛ

Modification history