mathlib
3379f3ed - feat(archive/100-theorems-list): add proof of Heron's formula (#6989)

Commit

4 years ago

feat(archive/100-theorems-list): add proof of Heron's formula (#6989) This proves Heron's Formula for triangles, which happens to be Theorem 57 on Freek's 100 Theorems.

Author

matt-kempster

Parents

27157699

mathlib 3379f3ed - feat(archive/100-theorems-list): add proof of Heron's formula (#6989)

mathlib
3379f3ed - feat(archive/100-theorems-list): add proof of Heron's formula (#6989)