Combinatorialgrouptheory Magnus 2004 Documentation Lean source path No separate reading sections are published for this version.