Mathlib Changelog
v4
Changelog
About
Github
Commit
2023-06-17 11:54
354c44b6
View on Github →
feat: port Archive.Wiedijk100Theorems.HeronsFormula (
#5177
)
Estimated changes
Modified
Archive.lean
Created
Archive/Wiedijk100Theorems/HeronsFormula.lean
added
theorem
Theorems100.heron