mathlib

a7a2f9d4 - feat(data/nat/fib): norm_num plugin for fib (#12463)

feat(data/nat/fib): norm_num plugin for fib (#12463) Co-authored-by: Mario Carneiro <di.gama@gmail.com> Co-authored-by: Scott Morrison <scott@tqft.net>