Theorem Finsupp.eq_option_embedding_update_none_iff

Modification history

2025-06-25 21:36
Mathlib/Data/Finsupp/Basic.lean
chore(Data/Finsupp/Basic): split file (#26309) …
Modified Finsupp.eq_option_embedding_update_none_iffView on Github →
2025-04-06 21:05
Mathlib/Data/Finsupp/Basic.lean
feat(Combinatorics/Nullstellensatz): Alon's combinatorial Nullstellensatz (#20495) …
Added Finsupp.eq_option_embedding_update_none_iffView on Github →