OAI/GroupTheory/PolycyclicRecognition/Algebra/GaugeComposition.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Composing explicit section corrections

  1. theorem OAI.PolycyclicRecognition.gauge_gauge_factor line 10
  2. theorem OAI.PolycyclicRecognition.gauge_gauge_action line 21