Algebraictopology May 1999 Documentation Lean source path No separate reading sections are published for this version.