Local capital geometry for maxmin concavification (C73-17)
A local-capital-geometry characterization of equality between the informed-player maxmin and concavification at every prior. The additional Lean project formalizes the criterion using the nonrevealing lower value; its README explains the relationship to the complete-information game value and the manuscript's determina...