Theorem CategoryTheory.unop_zero

Modification history