mathlib3
f04535de - feat(category_theory): iso_whisker_(left|right) (#908)

Commit

6 years ago

feat(category_theory): iso_whisker_(left|right) (#908) * feat(category_theory): iso_whisker_(left|right) * oops, use old notation for now * update after merge

References

#908 - feat(category_theory): iso_whisker_(left|right)

Author

kim-em

Committer

mergify[bot]

Parents

86bd577c

mathlib3 f04535de - feat(category_theory): iso_whisker_(left|right) (#908)

mathlib3
f04535de - feat(category_theory): iso_whisker_(left|right) (#908)