最終更新日：2025/11/30
Several Grothendieck universes are needed to formalize the large-category constructions used in modern algebraic geometry.
正解を見る
Several Grothendieck universes are needed to formalize the large-category constructions used in modern algebraic geometry.
音声機能が動作しない場合はこちらをご確認ください
編集履歴（0）
