Theorem affine.simplex.sum_centroid_weights_with_circumcenter
Modification history
2021-03-28 04:55
src/geometry/euclidean/circumcenter.lean
lint(*): split long lines (#6918)
Modified affine.simplex.sum_centroid_weights_with_circumcenterView on Github →