A Lean Proof Printing Python Union Find | Dark Hacker News