Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-04-10 07:17 89924726

View on Github →

fix(category_theory): make the nat_trans arrow a synonym for the hom arrow (#907)

  • removing the nat_trans and vcomp notations; use \hom and \gg
  • a simpler proposal
  • getting rid of vcomp
  • fix
  • update notations in documentation
  • typo in docs

Estimated changes