Dualize

📁 Source: ClassFieldTheory/Tactic/Dualize.lean

Statistics

Metric	Count
Definitions commandDualized_to_, «command_#dualize»	2
Theorems	0
Total	2

(root)

Definitions

Name	Category	Theorems
commandDualized_to_ 📖	CompOp	—
«command_#dualize» 📖	CompOp	—

---

← Back to Index