OAI/GroupTheory/PolycyclicRecognition/Algebra/HomeomorphicParameter.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Transporting local parameters across a homeomorphism

  1. theorem OAI.PolycyclicRecognition.parameter_zero_of_coordinates line 14
  2. theorem OAI.PolycyclicRecognition.exists_parameter_of_coordinate_homeomorph line 18