OAI/Analysis/BernoulliCone/StationarityDensity.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Bernoulli.Shape.stressTerm line 14
2. lemma OAI.Bernoulli.Shape.pullback_gradient line 18
3. lemma OAI.Bernoulli.Shape.general_density_algebra line 37
4. lemma OAI.Bernoulli.Shape.stress_density_bound line 46