Theorems

Zeckendorf theorem

Fibonacci substitution

A transcendental number

The numbers of primary and secondary spirals in the positions of leaves

Hirmer's conjecture