3 ms·
Yep, you are right. Kevin Buzzard, Johan Commelin, and Patrick Massot, slide 31 at https://robertylewis.com/files/lean_intro_slides.pdf https://robertylewis.co
by jesuslop 5y ago
Yep, you are right. Kevin Buzzard, Johan Commelin, and Patrick Massot, slide 31 at
https://robertylewis.com/files/lean_intro_slides.pdf https://robertylewis.com/files/lean_intro_slides.pdf