Def CategoryTheory.yonedaPairing

Modification history