0831132人目の素数さん垢版 | 大砲2022/07/22(金) 17:08:48.27ID:nileRs+q >>829 そもそもスネーク・レンマも知らん素人が 導来関手とか導来圏とか口にしたって 全く無意味かと