Theorem CategoryTheory.Limits.coend.ι_desc

Modification history