mathlib
5923c4c7 - feat(order/rel_iso): well-founded instances for subtypes (#18699)

Commit

2 years ago

feat(order/rel_iso): well-founded instances for subtypes (#18699)

Author

vihdzp

vihdzp

Parents

Loading