Theorem CategoryTheory.Limits.id_zero

Modification history