Commit 2024-04-17 12:17 98843f5b

View on Github →

feat: Equivalence between embeddings of Fin (n + 1), and embeddings of Fin n together with a value outside the range. (#12151)

Estimated changes