mathlib

efd76b2a - feat(data/list/fibword): Fibonacci words