Theorem CategoryTheory.Limits.Fork.condition

Modification history