mathlib3
2b941413 - Merge branch 'is_succ_limit' into is_succ_limit_pred'

Commit

3 years ago

Merge branch 'is_succ_limit' into is_succ_limit_pred'

References

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

Author

vihdzp

vihdzp

Parents

Loading