src/HOL/Number_Theory/Fib.thy
changeset 58954 18750e86d5b8
parent 58889 5b7a9633cfa8
child 59667 651ea265d568