defn: final functors induce equivalence of cocone categories#639

plt-amy merged 3 commits into

the1lab:mainthe1lab/1lab:mainfrom

ncfavier:final-functor-coconesncfavier/1lab:final-functor-coconesCopy head branch name to clipboard