PR #1940 chore(data/subtype): fix `∀` vs `Π`

chore(data/subtype): fix `∀` vs `Π` #1940

mergify merged 2 commits into master from forall-pi

chore(data/subtype): fix `∀` vs `Π`

7f74459a

ChrisHughes24 approved these changes on 2020-02-01

ChrisHughes24 added ready-to-merge

Merge branch 'master' into forall-pi

76a6c6fd

mergify merged bacd4da5 into master 6 years ago

mergify deleted the forall-pi branch 6 years ago

Reviewers

ChrisHughes24

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone