Tags #todo/untagged Refs: #todo/add-references Links: #todo/create-links derived lci Idea: perfect cotangent complex and tor amplitude \([1, -\infty)\).