Theorem Composition.index_exists

Modification history

2024-05-02 13:42
Mathlib/Combinatorics/Enumerative/Composition.lean
chore: move to v4.8.0-rc1 (#12548) …
Modified Composition.index_existsView on Github →
2023-02-13 21:20
Mathlib/Combinatorics/Composition.lean
feat: Port/Combinatorics.Composition (#2043)
Added Composition.index_existsView on Github →