Parameterize CMvPolynomial by a [FinEnum σ] type instead of n : ℕ#261
Draft
BoltonBailey wants to merge 1 commit into
Draft
Parameterize CMvPolynomial by a [FinEnum σ] type instead of n : ℕ#261BoltonBailey wants to merge 1 commit into
BoltonBailey wants to merge 1 commit into