Commit 2023-06-17 11:54 354c44b6

View on Github →

feat: port Archive.Wiedijk100Theorems.HeronsFormula (#5177)

Estimated changes

added theorem Theorems100.heron