OAI/NumberTheory/Ostmann/Quadratic/CommonCenterFromApproximation.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Common rational centers from the actual phase approximation witnesses

  1. theorem OAI.Ostmann.exists_commonCenter_of_phase_approximations line 12