OAI/NumberTheory/DukePrimeDegree/Geometry/ShiftedRealWindow.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The based real leaf of a physical, shifted time window

  1. lemma OAI.DukePrimeDegree.shifted_real_window_rebase line 13