Theorem Fin.mem_piFinset_succ_iff'

Modification history

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