mathlib
de503895 - split(order/chain): Split off `order.zorn` (#13060)

Commit

3 years ago

split(order/chain): Split off `order.zorn` (#13060) Split `order.zorn` into two files, one about chains, the other one about Zorn's lemma.

Author

YaelDillies

Parents