Set

📁 Source: Mathlib/Data/Bool/Set.lean

Statistics

Metric	Count
Definitions	0
Theorems compl_singleton, range_eq, univ_eq	3
Total	3

Bool

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
compl_singleton 📖	mathematical	—	Compl.compl Set Set.instCompl Set.instSingletonSet	—	—
range_eq 📖	mathematical	—	Set.range Set Set.instInsert Set.instSingletonSet	—	—
univ_eq 📖	mathematical	—	Set.univ Set Set.instInsert Set.instSingletonSet	—	—

---

← Back to Index