OAI/GroupTheory/PolycyclicRecognition/Algebra/PolynomialCoordinateTopology.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

The topology carried by an actual polynomial coordinate group

  1. instance OAI.PolycyclicRecognition.PolynomialCoordinateGroup.(instance at line 15) line 15
  2. instance OAI.PolycyclicRecognition.PolynomialCoordinateGroup.(instance at line 18) line 18
  3. instance OAI.PolycyclicRecognition.PolynomialCoordinateGroup.(instance at line 21) line 21
  4. theorem OAI.PolycyclicRecognition.PolynomialCoordinateGroup.isTopologicalGroup line 24
  5. def OAI.PolycyclicRecognition.PolynomialCoordinateGroup.expHomeomorph line 32