mathlib3
f6c8affd - feat(order/zorn) : `chain_univ` (#9162)

Commit

4 years ago

feat(order/zorn) : `chain_univ` (#9162) `univ` is a `r`-chain iff `r` is trichotomous

Author

YaelDillies

Parents