Mathlib Changelog
v4
Changelog
About
Github
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 →