src/HOL/NumberTheory/Fib.thy
changeset 23512 770e7f9f715b
parent 23431 25ca91279a9b
child 23688 7cd68def72b2