Theorem GaloisConnection.u_ciInf

Modification history