Junk Theorems in Lean

2 points | by saithound 2 hours ago