PR #1342 feat(algebra,equiv,logic): add various lemmas

feat(algebra,equiv,logic): add various lemmas #1342

mergify merged 5 commits into master from IMO1988-6

add various lemmas

58843580

add simp lemma

dd1aa25d

fpvandoorn requested a review 6 years ago

cipher1024 commented on 2019-08-17

fix simp

47c8a555

urkud commented on 2019-08-18

rename to subtype_sigma_equiv

7e431533

cipher1024 approved these changes on 2019-08-20

cipher1024 added ready-to-merge

Merge branch 'master' into IMO1988-6

1d827a92

mergify merged 0dbe3a94 into master 6 years ago

mergify deleted the IMO1988-6 branch 6 years ago

Reviewers

cipher1024

urkud

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone