fact: Definition circle_map_conjugation {Y} {y:Y} (l:y = y) {y':Y} (e:y=y') : circle_map l = circle_map (!e @ l @ e).
imports: UniMath.Foundations.All UniMath.MoreFoundations.PartA UniMath.Algebra.Monoids UniMath.Algebra.Groups UniMath.NumberSystems.Integers UniMath.SyntheticHomotopyTheory.AffineLine UniMath.Algebra.GroupAction UniMath.MoreFoundations.MoreEquivalences