format fixes for 08-covariant.rzk

emilyriehl / yoneda

comparative formalizations of the Yoneda lemma for 1-categories and infinity-categories

http://emilyriehl.github.io/yoneda/

60 stars 6 forks source link

Closed jonweinb closed 1 year ago