generated at
2/18/2025, 5:51:42 PM
大きい圏
large
定義
圏
C
が
大きい
⇔
小さい圏
ではない