mathlib
13bb42d8 - add repetition code as inhabited instance

Commit

3 years ago

add repetition code as inhabited instance

References

#16774 - feat(information_theory/linear_code): Define linear codes

Author

BoltonBailey

BoltonBailey

Parents

Loading