mathlib3
74d446d3 - feat(order/iterate): some inequalities on `f^[n] x` and `g^[n] x` (#2859)

Commit

5 years ago

feat(order/iterate): some inequalities on `f^[n] x` and `g^[n] x` (#2859)

Author

urkud

urkud

Parents

Loading