mathlib3
feat(data/list): lemmas about count and bag_inter
#797

Merged

feat(data/list): lemmas about count and bag_inter #797

cipher1024 merged 3 commits into master from bag_inter

feat(data/list): lemmas about count and bag_inter

8e094b62

using simp only, combining some rewrites

8d7c32d4

kim-em requested a review from

robertylewis 6 years ago

minor refactoring of the proof, mostly to prompt travis to try again

d2de72b8

cipher1024 merged 26bd400b into master 6 years ago

robertylewis commented on 2019-03-07

Reviewers

robertylewis

Assignees

No one assigned

Labels

None yet

Milestone

No milestone