Def Composition.blocksFun

Modification history

2023-10-30 21:42

Mathlib/Combinatorics/Composition.lean

chore: refactor to `List.get` (#8039)

Modified Composition.blocksFun View on Github →

2023-02-13 21:20

Mathlib/Combinatorics/Composition.lean

feat: Port/Combinatorics.Composition (#2043)

Added Composition.blocksFun View on Github →