← 論文・資料

Normalization of a subgroup, in a topos, and of a word-congruence

論文・資料 Hora, Ryuya 2025-11-07 AI生成の有無：未記録

公開元

論文・資料

版履歴