OAI/GroupTheory/PolycyclicRecognition/Algebra/FactorSystemSymmetrySubgroup.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Automorphisms commuting with the section actions and fixing its factors

  1. def OAI.PolycyclicRecognition.factorSystemSymmetries line 10