) supporting lemmas for characterising well-founded complete lattices (#5446)

Commit

5 years ago

feat(data/*, order/*) supporting lemmas for characterising well-founded complete lattices (#5446)

Author

Oliver Nash

Parents

mathlib3 afbf47d5 - feat(data/*, order/*) supporting lemmas for characterising well-founded complete lattices (#5446)