Revision #1230 → #1718 · back to history
4d8fc590413d| Field | From #1230 | To #1718 |
|---|---|---|
| note | Fluid mechanics as a physics discipline is not a mathematical object present in Mathlib. | Fluid mechanics as a physics discipline has no Mathlib formalization (grep for 'fluid' in Mathlib returns nothing). |
afbb935f0ea0ff2abd4b28de5960a182df2f967ee668275616e5ca5b1b1c