Robuta

Sponsor of the Day: Jerkmate
https://mathoverflow.net/tags/type-theory/topusers 'type-theory' Top Users - MathOverflow theory top userstypemathoverflow https://mathoverflow.net/tags/measure-theory/topusers 'measure-theory' Top Users - MathOverflow theory top usersmeasuremathoverflow https://mathoverflow.net/tags/ct.category-theory/topusers 'ct.category-theory' Top Users - MathOverflow ct category theorytop users mathoverflow