Theorem CategoryTheory.Limits.Cofork.condition

Modification history