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)