Revision #1293 → #2588 · back to history
modifiedEgyptian approximation for area of a circlec49b26933123
| Field | From #1293 | To #2588 |
|---|
| mathlib.decl | volume_ball_fin_two | EuclideanSpace.volume_ball_fin_two |
| provenance | ai | ai-moderated |
modifiedBabylonian area of a circled8289c1eb5cc
| Field | From #1293 | To #2588 |
|---|
| mathlib.decl | volume_ball_fin_two | EuclideanSpace.volume_ball_fin_two |
| provenance | ai | ai-moderated |
modifiedNine Chapters geometrical area and volume formulascbbe1fe9d0a0
| Field | From #1293 | To #2588 |
|---|
| mathlib.decl | volume_ball_fin_two | EuclideanSpace.volume_ball_fin_two |
| provenance | ai | ai-moderated |