mathlib
50d1c485 - feat(order/galois_connection): galois_coinsertions (#3656)

Commit

5 years ago

feat(order/galois_connection): galois_coinsertions (#3656) Co-authored-by: Chris Hughes <33847686+ChrisHughes24@users.noreply.github.com>

Author

ChrisHughes24

Parents