Theorem affine.simplex.monge_point_mem_monge_plane
Modification history
2021-12-15 19:58
src/geometry/euclidean/monge_point.lean
chore(*): remove edge case assumptions from lemmas (#10774) …
Modified affine.simplex.monge_point_mem_monge_planeView on Github →