Theorem CategoryTheory.Limits.cokernel_funext

Modification history