Mathlib v3 is deprecated. Go to Mathlib v4

Theorem zorn.zorn

Modification history

2019-10-24 13:48
src/order/zorn.lean
chore(group_theory/free_group,order/zorn): rename zorn.zorn and sum.sum (#1604) …
Deleted zorn.zornView on Github →
2019-10-24 06:28
src/order/zorn.lean
chore(*): pass dup_namespace and def_lemma lint tests (#1599) …
Modified zorn.zornView on Github →
2017-07-23 18:29
algebra/lattice/zorn.lean
refactor(*): use 'lemma' iff statement is private
Modified zorn.zornView on Github →
2017-07-23 15:16
algebra/lattice/zorn.lean
refactor(*): import content from lean/library/data and library_dev
Added zorn.zornView on Github →