OAI/MathematicalPhysics/RapidForcing/StepSchwartz.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.RapidForcing.joint_tsupport_subset line 13
2. lemma OAI.RapidForcing.stepVelocity_joint_tsupport line 28
3. lemma OAI.RapidForcing.loadingVelocity_joint_tsupport line 47
4. lemma OAI.RapidForcing.norm_le_slot line 60
5. lemma OAI.RapidForcing.stepVelocity_weighted_derivative_bound line 71
6. lemma OAI.RapidForcing.addressedVelocity_schwartz_decay line 93
7. def OAI.RapidForcing.addressedSchwartz line 154