Basis

📁 Source: Mathlib/LinearAlgebra/DirectSum/Basis.lean

Statistics

Metric	Count
Definitions	0
Theorems directSum	1
Total	1

Module.Free

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
directSum 📖	mathematical	Module.Free	DirectSum instAddCommMonoidDirectSum DirectSum.instModule	—	dfinsupp

---

← Back to Index