IndisputableMonolith.Relativity.Calculus.RadialDerivativesProofs

declarations in this module (10)

• theorem spatialRadius_coordRay_ne_zero_proved L38
• theorem partialDeriv_v2_spatialRadius_proved L129
• theorem partialDeriv_v2_radialInv_proved L175
• theorem differentiableAt_coordRay_partialDeriv_v2_radialInv_proved L246
• theorem secondDeriv_radialInv_proved L279
• theorem laplacian_radialInv_zero_no_const_proved L393
• theorem laplacian_radialInv_n_proved L424
• structure C2DischargeCert L468
• def c2DischargeCert L482
• theorem c2DischargeCert_inhabited L489