PR #2353 feat(data/set/basic): add lemmata

feat(data/set/basic): add lemmata #2353

mergify merged 8 commits into master from set-lemmas

feat(data/set/basic): add lemmata

6685b6f7

switch to term mode proof

c7981a83

jcommelin commented on 2020-04-07

kim-em added awaiting-author

removing dupe

8549f0cd

make linter happy

deae7d08

kbuzzard removed awaiting-author

kbuzzard added awaiting-review

sgouezel commented on 2020-04-08

urkud commented on 2020-04-08

urkud removed awaiting-review

urkud added awaiting-author

Update src/data/set/basic.lean

c1075c6e

change proof

5a0468db

Merge branch 'set-lemmas' of github.com:leanprover-community/mathlib …

b517fc7e

kbuzzard removed awaiting-author

kbuzzard added awaiting-review

urkud removed awaiting-review

urkud added ready-to-merge

urkud approved these changes on 2020-04-09

Merge branch 'master' into set-lemmas

a4f65ae1

mergify merged a8797ce7 into master 5 years ago

mergify deleted the set-lemmas branch 5 years ago

Reviewers

urkud

sgouezel

kim-em

jcommelin

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone