Def CategoryTheory.compInvIso

Modification history