Theorem List.toFinsupp_cons_apply_zero

Modification history

2025-02-01 09:03
Mathlib/Data/List/ToFinsupp.lean
chore: delete declarations deprecated between 2024-01 and 2024-07 (#21271) …
Deleted List.toFinsupp_cons_apply_zeroView on Github →
2023-04-10 18:54
Mathlib/Data/List/ToFinsupp.lean
feat: port Data.List.ToFinsupp (#3350)
Added List.toFinsupp_cons_apply_zeroView on Github →