Theorem ModuleCat.cokernel_π_imageSubobject_ext

Modification history