Tom Lehrer (1928–2025): A (Mostly) Mathematical Appreciation | Heykuki News