Theorem Affine.Triangle.volume_sq_eq_mul_sub_mul_sub_mul_sub

Modification history

2026-11-10 23:38
Mathlib/Geometry/Euclidean/Volume/Triangle.lean
refactor(Geometry/Euclidean): promote Heron's formula to main mathlib (#44148) …
Added Affine.Triangle.volume_sq_eq_mul_sub_mul_sub_mul_subView on Github →