Theorem CategoryTheory.Limits.unop_zero

Modification history