mathlib3
46b9d057 - feat(data/part): Lemmas for get on binary function instances (#12194)

Commit

4 years ago

feat(data/part): Lemmas for get on binary function instances (#12194) A variety of lemmas such as `mul_get_eq` for `part`.

Author

BoltonBailey

Parents