Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-07-16 19:33 631207be

View on Github →

feat(data/multiset,...): card_eq_one based on #200

Estimated changes

Modified algebra/group_power.lean

added theorem neg_one_pow_eq_or

Modified data/list/basic.lean

added theorem list.length_eq_one

Modified data/multiset.lean

added theorem multiset.card_eq_one

added theorem multiset.empty_eq_zero

added theorem multiset.strong_induction_eq

Modified logic/basic.lean

added theorem and.congr_right_iff