`OAI/MathematicalPhysics/NavierStokes/`

9036 declarations, 0 contain sorry, 0 declared as axioms; 843 files

Folders

BalancedTransport/ 60 files, 1056 declarations
ForcedComputation/ 576 files, 4628 declarations
Material/ 21 files, 438 declarations
ShearFlows/ 31 files, 619 declarations
VelocityDetection/ 152 files, 2246 declarations

Files

FiniteRankGap.lean 6 declarations
HomogeneousDatum.lean 26 declarations
StationaryContraction.lean 17 declarations