Theorem CategoryTheory.yonedaPairingExt

Modification history