mathlib3
07f6719a - Merge branch 'master' into is_succ_limit_pred'

Commit

3 years ago

Merge branch 'master' into is_succ_limit_pred'

References

#15614 - feat(order/succ_pred/limit): predecessor from a `succ_order`

Author

vihdzp

vihdzp

Parents

Loading