ProjectiveSpecialLinearGroup

📁 Source: Mathlib/LinearAlgebra/Matrix/ProjectiveSpecialLinearGroup.lean

Statistics

Metric	Count
Definitions ProjectiveSpecialLinearGroup, «termPSL(_,_)»»)	2
Theorems	0
Total	2

Matrix

Definitions

Name	Category	Theorems
ProjectiveSpecialLinearGroup 📖	CompOp	—

MatrixGroups

Definitions

Name	Category	Theorems
«termPSL(_,_)» 📖» "API Documentation")	CompOp	—

---

← Back to Index