Truncated Fin

Stream: Is there code for X?

[Kenny Lau]

Do we have a truncated Fin (n+1) where addition and multiplication are capped off at n? For example, in Fin 5, we would have 2 * 3 = 4 and 3 * 3 = 4 (because the results are both too big)

[Kenny Lau]

I seem to recall from @Yaël Dillies that this is useful in combinatorics

[Yaël Dillies]

It never was useful enough that I defined it