惑星探査機

数学のこととか

モデル理論における新たな位相に関する可能性

étale cohomology をできたりしない?