Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-11-15 23:02 c834715a

View on Github →

style(category_theory/natural_transformation): fix hcomp/vcomp notation (#470)

Estimated changes