OAI/MathematicalPhysics/NavierStokes/Material/

Files

• Clock.lean 12 declarations
• Compiler.lean 39 declarations
• Curls.lean 40 declarations
• Decoder.lean 20 declarations
• Decoding.lean 14 declarations
• Encoding.lean 34 declarations
• Energy.lean 14 declarations
• History.lean 6 declarations
• MachineEncoding.lean 14 declarations
• Machines.lean 19 declarations
• Main.lean 1 import, no declarations
• MaterialFlow.lean 10 declarations
• Model.lean 55 declarations
• Plateaus.lean 31 declarations
• Residual.lean 16 declarations
• Scales.lean 34 declarations
• Scheduling.lean 17 declarations
• Selectors.lean 13 declarations
• Signal.lean 14 declarations
• SpatialL2.lean 13 declarations
• Velocity.lean 23 declarations