Revision #2012 → #2564 · back to history
modifiedThales' theorem (overview)576140c8d56b
| Field | From #2012 | To #2564 |
|---|
| mathlib.decl | EuclideanGeometry.angle_eq_pi_div_two_iff_mem_sphere_of_isDiameter | EuclideanGeometry.Sphere.angle_eq_pi_div_two_iff_mem_sphere_of_isDiameter |
| provenance | ai | ai-moderated |
modifiedThales' theoremdf2fd0a930c5
| Field | From #2012 | To #2564 |
|---|
| mathlib.decl | EuclideanGeometry.angle_eq_pi_div_two_iff_mem_sphere_of_isDiameter | EuclideanGeometry.Sphere.angle_eq_pi_div_two_iff_mem_sphere_of_isDiameter |
| provenance | ai | ai-moderated |
modifiedAffine geometry493a12cf9db3
| Field | From #2012 | To #2564 |
|---|
| mathlib.decl | AffineSpace | AddTorsor |
| provenance | ai | ai-moderated |