Library Exercise_3_5_2_12



Exercise 3.5.2.12

Problem

Is there any nontrivial PED on Loop that holds for the data in Example 3.5.2.9? If so, what is it and how many equivalence classes of paths in Loop are there after you impose that relation?