PR #1375 feat(order): add lemma

feat(order): add lemma #1375

mergify merged 2 commits into master from IMO1988-6

fpvandoorn requested a review 6 years ago

feat(order): add lemma

5c3147a1

fpvandoorn force pushed from 205df699 to 5c3147a1 6 years ago

fpvandoorn changed the title ~~feat(archive): add IMO1988-6~~ feat(order): add lemma 6 years ago

rwbarton approved these changes on 2019-09-03

rwbarton added ready-to-merge

Merge branch 'master' into IMO1988-6

957c92c5

mergify merged 06cffebf into master 6 years ago

mergify deleted the IMO1988-6 branch 6 years ago

Reviewers

rwbarton

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone