Revision #2238 → #2660 · back to history
6132ae6dc755| Field | From #2238 | To #2660 |
|---|---|---|
| mathlib.decl | Affine.Simplex.Similar | Similar |
| provenance | ai | ai-moderated |
86b911355f07| Field | From #2238 | To #2660 |
|---|---|---|
| mathlib.decl | Affine.Simplex.dist_point_centroid_eq_mul_dist_centroid_faceOppositeCentroid | Affine.Simplex.dist_point_centroid |
| provenance | ai | ai-moderated |