ProjectOverview • 139

dimension alternating complex
graded vector space
tensor product
dual tensor product
vectors