Commit 2021-05-13 15:18 f7923564

View on Github →

chore(order/galois_connection): ask for the correct instances (#7594) replace partial_order by preorder where it can and general tidy up of this old style file

Estimated changes

Modified src/order/galois_connection.lean

modified theorem galois_connection.l_Sup

modified theorem galois_connection.u_Inf

modified def galois_connection

modified theorem galois_insertion.strict_mono_u

modified theorem nat.galois_connection_mul_div