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 [email protected]

Estimated changes

added theorem finset.card_map