RootPairingCat

📁 Source: Mathlib/LinearAlgebra/RootSystem/RootPairingCat.lean

Statistics

Metric	Count
Definitions RootPairingCat, category, coweight, coweightIsAddCommGroup, coweightIsModule, index, pairing, weight, weightIsAddCommGroup, weightIsModule	10
Theorems	0
Total	10

RootPairingCat

Definitions

Name	Category	Theorems
category 📖	CompOp	—
coweight 📖	CompOp	—
coweightIsAddCommGroup 📖	CompOp	—
coweightIsModule 📖	CompOp	—
index 📖	CompOp	—
pairing 📖	CompOp	—
weight 📖	CompOp	—
weightIsAddCommGroup 📖	CompOp	—
weightIsModule 📖	CompOp	—

(root)

Definitions

Name	Category	Theorems
RootPairingCat 📖	CompData	—

---

← Back to Index