Commit 2024-01-16 22:20 edbea74c

View on Github →

chore(GaloisConnection): golf using dual (#9786)

Estimated changes

modified theorem GaloisConnection.l_eq
modified theorem GaloisConnection.l_u_l_eq_l
modified theorem GaloisConnection.u_inf