Theorem GaloisConnection.u_cinfᵢ

Modification history