Theorem Fin.snoc_mem_piFinset_snoc_iff

Modification history

2024-01-10 10:28
Mathlib/Data/Fintype/Pi.lean
chore: Relocate big operator lemmas (#9383) …
Deleted Fin.snoc_mem_piFinset_snoc_iffView on Github →
2023-10-24 13:49
Mathlib/Data/Fintype/Pi.lean
feat: add Fin.cons_mem_piFinset_iff (#6605) …
Added Fin.snoc_mem_piFinset_snoc_iffView on Github →