FiniteSetElement
A name from the enumeratio catalogue with no kernel of its own yet; this page carries its crosswalk only.
Catalogued in the enumeratio database; not yet written up here.
mathlib4
Fin nvia FiniteSetElementsFiniteSetElement(...)Catalogued in the enumeratio database; not yet written up here.Typed signatures
| Type | Package | Applies |
|---|---|---|
(tuple<integer, integer>) -> finite_set_element | combinatorics | always |
About
| Crosswalk | mathlib4 |
|---|