Mathlib v3 is deprecated. Go to Mathlib v4

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

Estimated changes