mathlib
5d25c8ab - feat(order/atoms): Galois (co)insertions and (co)atoms (#16663)

Commit

3 years ago

feat(order/atoms): Galois (co)insertions and (co)atoms (#16663)

Author

j-loreaux

j-loreaux

Parents

Loading