ยง Projective resolution / fundamental theorem of homological algebra (WIP)

https://www.youtube.com/watch?v=05afG63tUSk