OAI/MathematicalPhysics/NavierStokes/VelocityDetection/PeriodicMildContDiffScalar.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.VelocityDetection.PeriodicMild.contDiff_scalar line 13
2. theorem OAI.VelocityDetection.PeriodicMild.value_timeGenerator line 22
3. theorem OAI.VelocityDetection.PeriodicMild.timeD_scalar line 38
4. theorem OAI.VelocityDetection.PeriodicMild.scalar_conservation line 48
5. theorem OAI.VelocityDetection.PeriodicMild.scalar_equation line 55
6. theorem OAI.VelocityDetection.PeriodicMild.scalar_zero line 75
7. theorem OAI.VelocityDetection.PeriodicMild.periodic_scalar line 79