Revision #1895 → #2375 · back to history
61fa926782fb| Field | From #1895 | To #2375 |
|---|---|---|
| anchor.snippet | for a body of mass m , the centripetal force is, by Newton's second law | For a body of mass m , the centripetal force is, by Newton's second law |
| note | Newton's second law and force are not formalized in Mathlib. | Newton's second law and force are not formalized in Mathlib. Snippet capitalization corrected to match source. |
| provenance | ai | ai-moderated |
d64294ae3e6138f3f4d23805