OAI/GroupTheory/PolycyclicRecognition/Analysis/NaturalOrientationTransport.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Naturality for a prescribed top-homology orientation

  1. theorem OAI.PolycyclicRecognition.topHomology_orientation_unique line 16
  2. theorem OAI.PolycyclicRecognition.topHomology_natural_prescribed line 35