mathlib3
08b07a64 - feat(order/succ_pred/basic): tag more lemmas with simp (#14998)

Commit

3 years ago

feat(order/succ_pred/basic): tag more lemmas with simp (#14998)

Author

vihdzp

vihdzp

Parents

Loading