Sampleable

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

Statistics

Metric	Count
Definitions Arbitrary, sampleableExt, shrinkable, Arbitrary, sampleableExt, shrinkable	6
Theorems	0
Total	6

Plausible.PNat

Definitions

Name	Category	Theorems
Arbitrary 📖	CompOp	—
sampleableExt 📖	CompOp	—
shrinkable 📖	CompOp	—

Plausible.Rat

Definitions

Name	Category	Theorems
Arbitrary 📖	CompOp	—
sampleableExt 📖	CompOp	—
shrinkable 📖	CompOp	—

---

← Back to Index