User blog comment:VoidSansXD/Mega recursive function part 5/@comment-34422464-20190213013201

Even though this function is well defined, I would suggest repeating "Pattern repeats" rule with an inductive rule. For example you could say, n;;...n = n;...n;...n... where there are m semicolons between each n where m+1 is the amount of semicolons in n;;...n