Set

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

Statistics

Metric	Count
Definitions	0
Theorems range_casesOn, range_of_succ, range_rec, range_succ, zero_union_range_succ	5
Total	5

Nat

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
range_casesOn 📖	mathematical	—	Set.range Set Set.instUnion Set.instSingletonSet	—	range_of_succ
range_of_succ 📖	mathematical	—	Set Set.instUnion Set.instSingletonSet Set.range	—	Set.image_singleton Set.range_comp Set.image_union zero_union_range_succ Set.image_univ
range_rec 📖	mathematical	—	Set.range Set Set.instUnion Set.instSingletonSet	—	range_of_succ
range_succ 📖	mathematical	—	Set.range setOf	—	Set.ext
zero_union_range_succ 📖	mathematical	—	Set Set.instUnion Set.instSingletonSet Set.range Set.univ	—	Set.ext

---

← Back to Index