Theorem imageToKernel'_kernelSubobjectIso

Modification history