PR #1390 fix(restate_axiom): create lemmas from lemmas

fix(restate_axiom): create lemmas from lemmas #1390

mergify merged 2 commits into master from category_theory_sanity_check

fix(restate_axiom): create lemmas from lemmas

93548892

kim-em requested a review 6 years ago

sgouezel added ready-to-merge

sgouezel approved these changes on 2019-09-03

Merge branch 'master' into category_theory_sanity_check

a7c1363b

mergify merged c7d36292 into master 6 years ago

mergify deleted the category_theory_sanity_check branch 6 years ago

Reviewers

sgouezel

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone