Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-07-19 03:18 37f3e323

View on Github →

fix(algebra/big_operators): fix build

Estimated changes

Modified algebra/big_operators.lean

modified theorem finset.card_pi

Modified data/finset.lean

added theorem finset.card_singleton

modified theorem finset.insert_empty_eq_singleton

modified theorem finset.pi_empty

modified theorem finset.singleton_eq_singleton

Modified data/multiset.lean

modified theorem multiset.card_singleton

modified theorem multiset.pi_zero