Post #1258314

Thanks for this nice post @ProfKinyon ! I'm currently trying to learn #lean and foolishly thought this was a good exercise to formalize! In the end it was way beyond my current skills and I needed more time and way more AI help than I liked, but your proof works. 😅 https://tinyurl.com/4hzpyd6t