mathlib3
feat(order/galois_connection): lemmas about galois insertions and supr/infi
#2052
Merged
Overview
Commits
3
Changes
View On GitHub

feat(order/galois_connection): lemmas about galois insertions and supr/infi #2052

mergify merged 3 commits into master from gi-lemmas
jcommelin
jcommelin feat(order/galois_connection): lemmas about galois insertions and sup…
e9329de4
jcommelin Fix build, hopefully
347f0bdd
jcommelin jcommelin added awaiting-review
kim-em
jcommelin
digama0
digama0 approved these changes on 2020-03-02
digama0 digama0 added ready-to-merge
digama0 digama0 removed awaiting-review
mergify[bot] Merge branch 'master' into gi-lemmas
2ba22c8b
mergify mergify merged 2683fa09 into master 5 years ago
mergify mergify deleted the gi-lemmas branch 5 years ago

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
No one assigned
Labels
ready-to-merge
Milestone
No milestone
Terms Of Use Privacy Policy Refund Policy Impressum