generated at
2/21/2025, 9:16:11 PM
分裂モノ射
from
分裂
分裂モノ射
split monomorphism