Commit 2025-01-02 12:06 f65e1af0

feat: Fin.cons and Fin.snoc are continuous (#20352) These are adapted from the results for insertNth, which now appear immediately below the new results. I've also:

• extracted sections with appropriate variabless for these Fin results.
• renamed from fin_insertNth to finInsertNth, to match the naming rules
• reordered the parameters to put all the continuity assumptions at the end
• not tagged these with @[continuity] as it doesn't seem to help solve Continuous fun x : X => ![x, x]. We can look at this in a follow-up.