Testable

📁 Source: Mathlib/Testing/Plausible/Testable.lean

Statistics

Metric	Count
Definitions printableProp, factTestable	2
Theorems	0
Total	2

Plausible.Fact

Definitions

Name	Category	Theorems
printableProp 📖	CompOp	—

Plausible.Testable

Definitions

Name	Category	Theorems
factTestable 📖	CompOp	—

---

← Back to Index