Vault structure

Every Markdown file in the blueprint, as the vault holds them. Chapters come from directories, so the shape of this tree is the shape of the book.

blueprint/vault rootREADME.mdprosecoverage/README.mdproseroadmap/README.md HilbertSmith roadmaparticleready to statebackground/README.md Background prerequisitesarticleready to statebalmer-walter.md Balmer--Walter localizationtheoremready to statecech-comparison.md Cech comparisontheoremready to stateclassical-reduction.md Classical reductiontheoremready to statecompact-abelian-lie.md Compact abelian Lie groupstheoremready to statehardt-triviality.md Hardt trivialitytheoremready to statehatcher-facts.md Hatcher degree factstheoremready to statenewman-rigidity.md Newman rigiditytheoremready to statepadic-subgroups.md Closed subgroups of $\Zp$theoremfully provedserre-maps.md Serre odd-sphere mapstheoremready to statesheaf-cohomology-bounds.md Sheaf cohomology boundstheoremready to statesheaf-pushforward.md Sheaf pushforward toolkittheoremready to statestacks-derived.md Stacks derived factstheoremready to statesymmetric-forms.md Symmetric forms and orthogonal sumstheoremfully provedverdier-duality.md Verdier duality formalismtheoremready to statecharacter-classes/README.md Character classes and the contradictionarticleready to statecharacter-classes.md Character classesdefplannedcharacter-coproduct.md Character coproductslemmaplannedclass-covariance.md Covariance of character classestheoremplannedclass-homotopy.md Homotopy of character classestheoremplannedcontradiction.md Contradiction on the invariant charttheoremplannedequal-parts.md Equal partstheoremplannedorthogonality.md Real orthogonalitylemmaplannedsum-classes.md Sum of the character classestheoremplannedlocal-tests/README.md Preparing local testsarticleready to stateaveraged-test.md Averaged degree-one testlemmaready to statechart-reduction.md Invariant chart subsettheoremplannedcollapse.md Collapse and compactificationlemmafully provedfinite-sheets.md Finite quotient sheetslemmafully provedmove-test.md Moving a testtheoremplannedneighborhood-extension.md Homotopy extensionlemmafully provedodd-sphere-null.md Odd-sphere nullhomotopylemmaplannedorbit-injectivity.md Rational orbit pullbacklemmaplannedlocalization/README.md Localization, germs, and dense subcategoriesarticleready to statecompact-support.md Objects supported in an open settheoremplannedcutoff.md Cutofflemmaplanneddense-doubling.md Dense doublingtheoremready to stategerms.md Germ descriptiontheoremplannedopen-cover-bound.md Open-cover boundtheoremplannedopen-cover.md Open cover dense inclusiontheoremplannedwitt-localization.md Witt localizationtheoremplannedmain-theorem/README.md Main theoremsarticleready to statealmost-periodic-flow.md Almost-periodic flowtheoremplannedhilbert-smith-conjecture.md Hilbert--Smith conjecturetheoremplannedpadic-exclusion.md $p$-adic exclusiontheoremplannedsheaf-categories/README.md Sheaf categories and homotopy invariancearticleready to stateendpoint-forms.md Two endpoint formslemmaplannedhomotopy-invariance.md Homotopy invariancetheoremplannedinterval-products.md Products with the intervallemmaplannedproduct-shift-sign.md Product shift signlemmaplannedsign-conventions.md Sign conventionslemmaplannedsimplex-generators.md Simplex generatorslemmaplannedsymmetric-cone.md Symmetric conelemmaready to statetest-categories.md Test categoriesdefplannedtest-duality.md Verdier duality on test categoriestheoremplannedtest-pushforward.md Direct images and open extensiontheoremplannedsphere-lattice/README.md A bounded lattice on the test spherearticleready to statebounded-comparison.md Bounded comparisontheoremplannedcontractible-quotient.md Contractible quotienttheoremplanneddegree-action.md Action of degreetheoremplannedfinite-chases.md Finite diagram chaseslemmafully provedgeneric-signature.md Signature on a finite relationtheoremplannedpoint-groups.md Point groupslemmaplannedsphere-lattice.md Fixed sphere latticetheoremplannedsphere-rank.md Rational sphere calculationtheoremplanned