Commit 2021-01-16 17:42 e0f4142e
View on Github →refactor(data/nat/fib): explicitly state fibonacci sequence is monotone (#5776) https://leanprover.zulipchat.com/#narrow/stream/113489-new-members/topic/fib_mono
refactor(data/nat/fib): explicitly state fibonacci sequence is monotone (#5776) https://leanprover.zulipchat.com/#narrow/stream/113489-new-members/topic/fib_mono