Commit 2021-03-04 17:49 84f4d5cc
View on Github →feat(order/zorn): nonempty formulation of Zorn's lemma (#6532) In practice it's often helpful to have this alternate formulation of Zorn's lemma
feat(order/zorn): nonempty formulation of Zorn's lemma (#6532) In practice it's often helpful to have this alternate formulation of Zorn's lemma