Def CategoryTheory.Sum.swapCompInr

Modification history