mathlib
aadba9b2 - feat(order/well_founded_set): any relation is well-founded on `Ø` (#15266)

Commit

3 years ago

feat(order/well_founded_set): any relation is well-founded on `Ø` (#15266)

Author

vihdzp

vihdzp

Parents

Loading