Theorem imageSubobjectIso_imageToKernel'

Modification history