Theorem Composition.boundary_zero

Modification history

2025-06-27 12:16
Mathlib/Combinatorics/Enumerative/Composition.lean
chore: remove unused simp arguments (#26430) …
Modified Composition.boundary_zeroView on Github →
2023-02-13 21:20
Mathlib/Combinatorics/Composition.lean
feat: Port/Combinatorics.Composition (#2043)
Added Composition.boundary_zeroView on Github →