Thierry Coquand

Descubre la intrigante relación entre diferentes formas y espacios en matemáticas.