Theorem Theorems100.heron

Modification history

2025-02-08 10:17
Archive/Wiedijk100Theorems/HeronsFormula.lean
chore(Geometry): use numeric subscripts for indices (#21548)
Modified Theorems100.heronView on Github →
2023-06-17 11:54
Archive/Wiedijk100Theorems/HeronsFormula.lean
feat: port Archive.Wiedijk100Theorems.HeronsFormula (#5177)
Added Theorems100.heronView on Github →