User:Mush9/wut

This page is for tests and stuff.

Uplimited
I hope to define the largest number on the wiki.

We'll define an inductive structure:

\(\texttt{in}(ln, df)\):