Theorem Affine.Simplex.finrank_direction_altitude
Modification history
2025-05-18 15:44
Mathlib/Geometry/Euclidean/Altitude.lean
chore: generalize from `n + 1` to `NeZero` (#24988) …
Modified Affine.Simplex.finrank_direction_altitudeView on Github →