OAI/NumberTheory/PowerFree/SurfaceCounting.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.QuarticPowerFree.coordinateHilbert_hypersurface line 9
  2. theorem OAI.QuarticPowerFree.affineDimension_hypersurface line 17
  3. theorem OAI.QuarticPowerFree.affineDegree_hypersurface line 26
  4. theorem OAI.QuarticPowerFree.affineDimension_lt_of_lt line 33
  5. theorem OAI.QuarticPowerFree.prime_same_dimension_eq line 54
  6. theorem OAI.QuarticPowerFree.weightedSpace_map_le_weightedFunctions line 62
  7. theorem OAI.QuarticPowerFree.real_surface_hilbert_lower line 97
  8. theorem OAI.QuarticPowerFree.directSurface_equation line 155
  9. theorem OAI.QuarticPowerFree.directSurface_hilbert_threshold line 167
  10. theorem OAI.QuarticPowerFree.direct_surface_selected_count line 203