WikiLean Articles · Brain · Recent changes · Proposals · Flags · Stats · About

Diff — Fluid mechanics

Revision #2188 → #3339 · back to history

modifiedFluid mechanics4d8fc590413d
FieldFrom #2188To #3339
noteFluid mechanics as a physics discipline has no Mathlib formalization (grep for 'fluid' in Mathlib returns nothing).Fluid mechanics as a physics discipline has no Mathlib formalization; grep for 'fluid' across Mathlib returns nothing.
addedArchimedes' principle53f50e4d97ad
addedPascal's lawb469d928de50
addedBoundary layer622c382c227b
addedTurbulenced92fff8c537d