Theorem CategoryTheory.coyonedaPairing_map

Modification history