Theorem CategoryTheory.Limits.end_.condition

Modification history