choice

📁 Source: SDG/Linters/choice.lean

Statistics

Metric	Count
Definitions detectClassicalLinter, detectClassical	2
Theorems	0
Total	2

Mathlib.Linter.DetectClassical

Definitions

Name	Category	Theorems
detectClassicalLinter 📖	CompOp	—

Mathlib.Linter.linter

Definitions

Name	Category	Theorems
detectClassical 📖	CompOp	—

---

← Back to Index