Theorem CategoryTheory.coyonedaPairingExt

Modification history