Def CategoryTheory.coyonedaPairing

Modification history