FiniteFree

📁 Source: FLT/Mathlib/LinearAlgebra/TensorProduct/FiniteFree.lean

Statistics

Metric	Count
Definitions chooseBasis_piScalarRight	1
Theorems	0
Total	1

LinearEquiv

Definitions

Name	Category	Theorems
chooseBasis_piScalarRight 📖	CompOp	—

---

← Back to Index