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)
feat: Equivalence between embeddings of Fin (n + 1), and embeddings of Fin n together with a value outside the range. (#12151)