OAI/GroupTheory/PolycyclicRecognition/Algebra/TranslationLocalHomeomorph.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Propagating local coordinates by translations

  1. theorem OAI.PolycyclicRecognition.map_nhds_of_translations line 22
  2. theorem OAI.PolycyclicRecognition.localHomeomorph_of_translations line 32