Theorem CategoryTheory.Limits.coend.condition

Modification history