generated at
2/21/2025, 9:08:39 PM
分裂エピ射
from
分裂
分裂エピ射
split epimorphism