Supporting results for pointwise provable equality.

def PointwiseComposition.String.vecToStr {n : Nat} : (Fin n → String) → String

The vec To Str construction in String.

Equations

• PointwiseComposition.String.vecToStr x_2 = ""
• PointwiseComposition.String.vecToStr s = if n = 0 then s 0 else s 0 ++ ", " ++ PointwiseComposition.String.vecToStr fun (i : Fin n) => s i.succ