add description of directories to readme
remove finite intersection property. i didnt actually prove that in thetheorem characterizing compact spaces and im not sure i need to
prove that the set of alternating multilinear forms is a subspace