Comment by zshn

I really should get up to speed with LEAN, I know AI can probably write it better than me but I'd like to grasp it better still...