OAI/GroupTheory/PolycyclicRecognition/Algebra/FiniteCentralLayerAction.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

Uniform index of the central-layer action kernel

  1. theorem OAI.PolycyclicRecognition.centralLayer_finrank_le line 14
  2. theorem OAI.PolycyclicRecognition.centralLayersSpace_finrank_le line 24
  3. theorem OAI.PolycyclicRecognition.centralLayersAction_index_le line 37