Bilinear

📁 Source: Mathlib/RingTheory/Finiteness/Bilinear.lean

Statistics

Metric	Count
Definitions	0
Theorems map₂	1
Total	1

Submodule.FG

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
map₂ 📖	mathematical	Submodule.FG CommSemiring.toSemiring	Submodule.map₂	—	smulCommClass_self Submodule.fg_def Set.Finite.image2 Submodule.map₂_span_span

---

← Back to Index