mathlib

386c02e7 - feat(data/nat/hyperoperation): Defined hyperoperation and added related lemmas (#18116)

feat(data/nat/hyperoperation): Defined hyperoperation and added related lemmas (#18116) Added the hyperoperation sequence as defined here: https://en.wikipedia.org/wiki/Hyperoperation Proved main lemmas.