mathlib3

4d241724 - docs(order/zorn): explain how to use Zorn's lemma (#8125)