Powerset

📁 Source: Mathlib/Data/Set/Finite/Powerset.lean

Statistics

Metric	Count
Definitions	0
Theorems finite_subsets, powerset	2
Total	2

Set.Finite

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
finite_subsets 📖	mathematical	—	Set.Finite Set setOf Set.instHasSubset	—	Set.ext Finset.coe_injective Finset.coe_map Set.image_congr Finset.coe_powerset coe_toFinset Set.exists_finite_iff_finset subset Finset.finite_toSet
powerset 📖	mathematical	—	Set.Finite Set Set.powerset	—	finite_subsets

---

← Back to Index