Set

📁 Source: Mathlib/Order/Set.lean

Statistics

Metric	Count
Definitions	0
Theorems range_eq, range_eq	2
Total	2

WithBot

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
range_eq 📖	mathematical	—	Set.range WithBot Set Set.instInsert Bot.bot bot some	—	Option.range_eq

WithTop

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
range_eq 📖	mathematical	—	Set.range WithTop Set Set.instInsert Top.top top WithBot.some	—	Option.range_eq

---

← Back to Index