The localic Istropy group of a topos

論文・資料 Henry, Simon 2017-06-15 AI生成の有無：未記録