2 works on record
Lemmas in Olympiad Geometry
110 Geometry Problems for the International Mathematical Olympiad