Def CategoryTheory.sum.inrCompAssociator

Modification history