OAI/GroupTheory/PolycyclicRecognition/Geometry/CartanVisitPath.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The specified Cartan visit path

This definition retains the actual outward-switch-return construction, so later sampling does not depend on an arbitrary choice of a path.

  1. def OAI.PolycyclicRecognition.cartanSupportVisitPath line 29