Documentation
LeanPool
.
Vlasov
.
OT
Search
return to top
source
Imports
Init
LeanPool.Vlasov.OT.CharacteristicFlow
LeanPool.Vlasov.OT.Coupling
LeanPool.Vlasov.OT.Wasserstein
LeanPool.Vlasov.OT.WeakToLagrangian
LeanPool.Vlasov.OT.WellPosedness
Mathlib.MeasureTheory.Covering.Besicovitch
Mathlib.Analysis.SpecialFunctions.Trigonometric.Arctan
Imported by
Optimal transport, characteristic flow, and the well-posedness ladder.
#