OAI/Probability/SKBarriers/Hierarchy/HierarchyAtomCoordinates.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.SK.Analytic.hierarchyAtom_zero_coordinate line 14
2. theorem OAI.SK.Analytic.hierarchyAtom_succ_coordinate line 25
3. theorem OAI.SK.Analytic.hierarchyAtom_quantile_succ line 43
4. theorem OAI.SK.Analytic.monotone_quantileMass line 55
5. theorem OAI.SK.Analytic.finiteScalar_hessian_quantile line 59