Theorem CategoryTheory.Limits.biprod.fstKernelFork_ι

Modification history