OAI/MathematicalPhysics/AlternatingFlow/LocalNames.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.AlternatingNS.Effective.Named.nat line 13
  2. lemma OAI.AlternatingNS.Effective.Named.natPow line 16
  3. lemma OAI.AlternatingNS.Effective.Named.invNatPow line 21
  4. lemma OAI.AlternatingNS.Effective.Named.divNat line 26
  5. lemma OAI.AlternatingNS.Effective.Named.selector line 31
  6. lemma OAI.AlternatingNS.Effective.read_named line 40
  7. lemma OAI.AlternatingNS.Effective.numerator_named line 58
  8. lemma OAI.AlternatingNS.Effective.branch_named line 81
  9. lemma OAI.AlternatingNS.Effective.writeCore_named line 103
  10. lemma OAI.AlternatingNS.Effective.haltWeight_named line 127
  11. lemma OAI.AlternatingNS.Effective.write_named line 144
  12. lemma OAI.AlternatingNS.Effective.signal_named line 151