Commit 2020-04-09 09:03 a8797ce7
View on Github →feat(data/set/basic): add lemmata (#2353)
- feat(data/set/basic): add lemmata
- switch to term mode proof
- removing dupe
- make linter happy
- Update src/data/set/basic.lean Co-Authored-By: sgouezel sebastien.gouezel@univ-rennes1.fr
- change proof