Documentation
LeanPool
.
BicausalOT
.
BicausalOT
.
BicausalOT
Search
return to top
source
Imports
Init
LeanPool.BicausalOT.BicausalOT.Defs
LeanPool.BicausalOT.BicausalOT.Existence
LeanPool.BicausalOT.BicausalOT.LowerBound
LeanPool.BicausalOT.BicausalOT.Proposition1
LeanPool.BicausalOT.BicausalOT.UpperBound
LeanPool.BicausalOT.BicausalOT.ValueRepresentation
Imported by
BicausalOT
#
Supporting results for bicausal optimal transport and measurable selection.