Sina Hazratpour: Report on Polynomial Functors Formalization External Video-URL https://www.youtube.com/watch?v=TyPdTd6rfrQ Preview-Image Search Engine Exclude no
