Def CategoryTheory.Limits.compNatIso

Modification history