Def CategoryTheory.mulZero

Modification history