OAI/NumberTheory/Ostmann/Construction/CanonicalOccurrenceTransportRename.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.Ostmann.Construction.CanonicalOccurrenceTransport.StateCode.rename line 12
  2. def OAI.Ostmann.Construction.CanonicalOccurrenceTransport.renameTree line 15
  3. def OAI.Ostmann.Construction.CanonicalOccurrenceTransport.renameCompensation line 19
  4. lemma OAI.Ostmann.Construction.CanonicalOccurrenceTransport.select_map line 23
  5. lemma OAI.Ostmann.Construction.CanonicalOccurrenceTransport.product_rename line 31
  6. lemma OAI.Ostmann.Construction.CanonicalOccurrenceTransport.pivot_rename line 38
  7. theorem OAI.Ostmann.Construction.CanonicalOccurrenceTransport.execute_rename line 44
  8. lemma OAI.Ostmann.Construction.CanonicalOccurrenceTransport.compensationCode_rename line 64