Def CategoryTheory.flipCompEvaluation

Modification history