Def CategoryTheory.sum.inlCompInverseAssociator

Modification history