Theorem CategoryTheory.yonedaPairing_map

Modification history