Think In Geek
|
In geek we trust
Series
Posts by Bernat Ràfales
Archives
Archive of category 'theorems'
May 30, 2026 •
lean
,
theorems
,
proofs
The last bit – Part 2