Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-11-21 17:17 a13027a5

View on Github →

feat(data/finset): add cardinality of map (#1722)

  • Add cardinality of map
  • Update src/data/finset.lean Co-Authored-By: Johan Commelin johan@commelin.net

Estimated changes

added theorem finset.card_map