Documentation
Mathlib
.
LinearAlgebra
.
ConvexSpace
Search
return to top
source
Imports
Init
Mathlib.Tactic.Bound
Mathlib.Algebra.Module.Defs
Mathlib.Data.Finsupp.Order
Mathlib.Data.Finsupp.SMul
Mathlib.Data.Finsupp.SMulWithZero
Mathlib.Algebra.BigOperators.Finsupp.Basic
Mathlib.Algebra.Order.Ring.Defs
Mathlib.Algebra.Order.BigOperators.Group.Finset
Imported by