Commit 2025-12-05 16:31 2f587a37

View on Github →

feat(Geometry/Euclidean/MongePoint): reindex lemmas (#31210) Add lemmas about mongePoint, mongePlane and orthocenter applied to Simplex.reindex.

Estimated changes