Commit 2021-05-25 13:38 50610c34

View on Github →

feat(Set): port Lean 3 init.data.set (#8)

  • add all Lean 3 set stuff
  • pull out mem notation into separate file
  • add module docstring
  • apply suggestions from code review
  • change to new syntax for structures

Estimated changes

added def Set.compl
added def Set.image
added def Set.powerset
added def Set.sUnion
added def Set.univ
added def Set
added def setOf