OAI/Analysis/IrrationalRotation/Model/CouplingMarginalBounds.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Invariant233.CouplingMarginalBounds.rho line 9
2. def OAI.Invariant233.CouplingMarginalBounds.diagonalMass line 11
3. def OAI.Invariant233.CouplingMarginalBounds.uniformDensity line 14
4. def OAI.Invariant233.CouplingMarginalBounds.componentProbabilities line 18
5. def OAI.Invariant233.CouplingMarginalBounds.componentVarianceBounds line 21