Multiset

A name from the enumeratio catalogue with no kernel of its own yet; this page carries its crosswalk only.

Catalogued in the enumeratio database, with crosswalk rows in mathlib4; not yet written up here.

WikipediaMultisetvia Multisets↗SageMathsage.combinat.combinat.number_of_unordered_tuples(S, k)via Multisets↗mathlib4Multiset↗Sym (Fin n) kvia Multisets↗

Multiset(...)Catalogued in the enumeratio database, with crosswalk rows in mathlib4; not yet written up here.

Typed signatures

Type	Package	Applies
(tuple<integer, list<integer>>) -> multiset	combinatorics	always

Domain: Combinatorics

About

Crosswalk	WikipediaSageMathmathlib4 ×2