Open CombinatorialGroupTheory_Magnus_2004 documentation