`BookProof.QuantumGravityHalfDensity.qgSrcMeasure_density_eq_halfDensity_sq` {y : ℝ} (hy : 0 ≤ y) : qgHalfDensity y ^ 2 = qgJacobian y

Initializing...

`BookProof.QuantumGravityHalfDensity.qgSrcMeasure_density_eq_halfDensity_sq` {y : ℝ} (hy : 0 ≤ y) : qgHalfDensity y ^ 2 = qgJacobian y · Prove2Me