mathlib3
34bac8d3 - feat(category_theory): add naturality_assoc simp lemma (#2200)

Commit

5 years ago

feat(category_theory): add naturality_assoc simp lemma (#2200) Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>

References

Author

kim-em

Parents