mathlib
e1f00bc7 - feat(order/well_founded): Well founded relations are asymmetric and irreflexive (#13692)

Commit

3 years ago

feat(order/well_founded): Well founded relations are asymmetric and irreflexive (#13692) Co-authored-by: Eric Wieser <wieser.eric@gmail.com>

Author

vihdzp

Parents