Bool

📁 Source: Batteries/Data/Bool.lean

Statistics

Metric	Count
Definitions gt_wfRel, lt_wfRel	2
Theorems	0
Total	2

Bool

Definitions

Name	Category	Theorems
gt_wfRel 📖	CompOp	—
lt_wfRel 📖	CompOp	—

---

← Back to Index