Summary
- More on Fibonacci numbers
The file was modified | src/HOL/Archimedean_Field.thy (diff) |
The file was modified | src/HOL/Number_Theory/Fib.thy (diff) |
The file was modified | src/HOL/Number_Theory/document/root.tex (diff) |
The file was modified | src/HOL/Archimedean_Field.thy (diff) |
The file was modified | src/HOL/Number_Theory/Fib.thy (diff) |
The file was modified | src/HOL/Number_Theory/document/root.tex (diff) |