Def Setoid.liftFinsuppEquiv

Modification history

2026-10-20 16:41

Mathlib/Data/Finsupp/Quotient.lean

chore(Data/Finsupp/Quotient): automated extraction from #28013 (#45090) …

Added Setoid.liftFinsuppEquiv View on Github →