OAI/GroupTheory/PolycyclicRecognition/Algebra/TopOrientationAutomorphisms.lean
1 declarations, 0 contain sorry, 0 declared as axioms
The top orientation character is preserved by automorphisms
- theorem
OAI.PolycyclicRecognition.topOrientation_character_autline 16