Documentation
Atlas
.
ProjectionTheory
.
code
.
STProjectionVariant
Search
return to top
source
Imports
Init
Mathlib.Analysis.InnerProductSpace.PiL2
Mathlib.Data.Finset.Card
Mathlib.Data.Finset.Image
Imported by