mathlib
a5cb13a6 - feat(order/zorn): upward inclusion variant of Zorn's lemma (#7362)

Commit

4 years ago

feat(order/zorn): upward inclusion variant of Zorn's lemma (#7362) add zorn_superset This also add various missing bits of whitespace throughout the file.

Author

YaelDillies

Parents

5ac79a63

mathlib a5cb13a6 - feat(order/zorn): upward inclusion variant of Zorn's lemma (#7362)

mathlib
a5cb13a6 - feat(order/zorn): upward inclusion variant of Zorn's lemma (#7362)