Theorem GaloisConnection.l_iSup₂

Modification history