theorem
proved
wrapper
shifted_equilibrium
No prose has been written for this declaration yet. The Lean source and graph data below render
without it.
generate prose now
formal statement (Lean)
100theorem shifted_equilibrium (a : ℝ) : (shiftedQuadraticStrain a).isBalanced a := by
proof body
One-line wrapper that applies simp.
101 simp [StrainFunctional.isBalanced, shiftedQuadraticStrain]
102
depends on (6)
Lean names referenced from this declaration's body.
-
isBalanced
in IndisputableMonolith.Cosmology.DarkEnergy
decl_use
-
isBalanced
in IndisputableMonolith.RRF.Core.Glossary
decl_use
-
isBalanced
in IndisputableMonolith.RRF.Core.Strain
decl_use
-
StrainFunctional
in IndisputableMonolith.RRF.Core.Strain
decl_use
-
isBalanced
in IndisputableMonolith.RRF.Foundation.VantageCategory
decl_use
-
shiftedQuadraticStrain
in IndisputableMonolith.RRF.Models.Quadratic
decl_use