fib): add a strict monotonicity lemma. (#7317)

Commit

4 years ago

feat(data/nat/fib): add a strict monotonicity lemma. (#7317) Prove strict monotonicity of `fib (n + 2)`. With thanks to @b-mehta and @dwarn.

Author

Julian

Parents