FormalGeomNotes
FormalGeomNotes copied to clipboard
Change Nat's `i` indices to something else