Theorem Function.locallyFinsuppWithin.truncateOrderHom_apply

Modification history

2026-09-29 22:38
Mathlib/Topology/LocallyFinsupp.lean
feat: Truncated Counting Function of Value Distribution Theory (#41809) …
Added Function.locallyFinsuppWithin.truncateOrderHom_applyView on Github →