Theorem GaloisConnection.u_cinfₛ

Modification history