3 ms·I happened to notice the exact same thing when playing with this puzzle in Lean!by Icy0 2y agoI happened to notice the exact same thing when playing with this puzzle in Lean!