Theorem CategoryTheory.Limits.Cotrident.condition

Modification history