PR #1224 feat(logic,data/equiv,prod): various lemmas

feat(logic,data/equiv,prod): various lemmas #1224

mergify merged 4 commits into master from various-lemmas

feat(logic,data/equiv,prod): various lemmas

6893df3d

cipher1024 requested a review 7 years ago

urkud commented on 2019-07-13

Update basic.lean

b9619724

Update basic.lean

e0bb10f8

jcommelin approved these changes on 2019-07-13

jcommelin added ready-to-merge

Merge branch 'master' into various-lemmas

242610f5

mergify merged a1cfc5cc into master 7 years ago

mergify deleted the various-lemmas branch 7 years ago

Reviewers

jcommelin

urkud

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone