mathlib3
c1f8ac50 - feat(order/zorn): add Zorn lemma on a preorder (#13803)

Commit

3 years ago

feat(order/zorn): add Zorn lemma on a preorder (#13803)

Author

urkud

urkud

Parents

Loading