IndisputableMonolith.Cost.ContDiffReduction

declarations in this module (10)

• lemma contDiffTwo_differentiable L27
• lemma contDiffTwo_differentiable_deriv L31
• lemma hasDerivAt_deriv_of_contDiffTwo L38
• theorem dAlembert_first_deriv_of_contDiff L44
• theorem dAlembert_second_deriv_at_zero_of_contDiff L81
• theorem dAlembert_to_ODE_of_contDiff L120
• theorem dAlembert_to_ODE_hypothesis_of_contDiff L132
• theorem composition_law_forces_reciprocity L139
• theorem dAlembert_cosh_solution_of_contDiff L170
• theorem washburn_uniqueness_of_contDiff L189