Theorem Finset.mem_powersetCard_univ

Modification history

2024-10-22 21:02
Mathlib/Data/Fintype/Powerset.lean
chore(Data): use newly introduced finset notation (#18059) …
Modified Finset.mem_powersetCard_univView on Github →
2024-01-08 11:01
Mathlib/Data/Fintype/Powerset.lean
feat: Basic finset lemmas (#9530) …
Modified Finset.mem_powersetCard_univView on Github →
2023-10-17 20:58
Mathlib/Data/Fintype/Powerset.lean
chore: rename Finset.powersetLen to powersetCard (#7667) …
Added Finset.mem_powersetCard_univView on Github →