Theorem EuclideanGeometry.mul_sin_eq_sqrt_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 EuclideanGeometry.mul_sin_eq_sqrt_mul_sub_mul_sub_mul_subView on Github →