Skip to content

chore: remove FinFun, a duplicate of Mathlib's Finsupp - #814

Open
SamuelSchlesinger wants to merge 1 commit into
leanprover:mainfrom
SamuelSchlesinger:samschlesinger/remove-finfun
Open

chore: remove FinFun, a duplicate of Mathlib's Finsupp#814
SamuelSchlesinger wants to merge 1 commit into
leanprover:mainfrom
SamuelSchlesinger:samschlesinger/remove-finfun

chore: remove FinFun, a duplicate of Mathlib's Finsupp

044d6c5
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
check-pr-title
succeeded Aug 17, 2026 in 2s