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

Merged

Commits

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

kim-em committed 7 years ago
using simp only, combining some rewrites

kim-em committed 7 years ago
minor refactoring of the proof, mostly to prompt travis to try again

kim-em committed 7 years ago

Loading