البيان رقم صفر

Kevin Buzzard

Backlinks

Note. The only applied maths worth doing is in one head

7 October 2026

Reference. Division by zero in type theory: a FAQ

5 July 2020