Theorem list.count_cons_ge_count

feat(data/multiset): filter, count, distrib lattice

refactor(*): use 'lemma' iff statement is private

refactor(*): import content from lean/library/data and library_dev