Theorem CategoryTheory.Yoneda.isIso

Modification history