Formalising Yoneda Ext in Univalent Foundations

From MaRDI portal
Publication:6427540