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

Merged

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

mergify merged 9 commits into master from down-with-nattrans-2

removing the nat_trans and vcomp notations; use \hom and \gg

40fa3d6d

a simpler proposal

d83c45b6

kim-em requested a review 6 years ago

getting rid of vcomp

49d299d8

fix

8e46bac8

jcommelin dismissed these changes on 2019-04-09

entirely remove the nat_trans double arrow

330869d1

mergify dismissed their stale review 6 years ago

Pull request has been modified.

update notations in documentation

66ce3b52

jcommelin commented on 2019-04-09

typo in docs

7a93dc49

rwbarton dismissed these changes on 2019-04-09

rwbarton added ready-to-merge

merge

de895137

mergify dismissed their stale review 6 years ago

Pull request has been modified.

ChrisHughes24 approved these changes on 2019-04-10

Merge branch 'master' into 'down-with-nattrans-2'

f957d532

mergify merged 89924726 into master 6 years ago

mergify deleted the down-with-nattrans-2 branch 6 years ago

Reviewers

ChrisHughes24

rwbarton

jcommelin

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone