OAI/Analysis/PathSelection/PreparationStability.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

Normalized preparation stability and common parameter domains.

  1. theorem OAI.PathSelection.PreparationLimit.normalized_preparation_stability line 17
  2. theorem OAI.PathSelection.PreparationLimit.normalized_division_stability line 62
  3. theorem OAI.PathSelection.PreparationLimit.normalized_unit_all_orders line 113
  4. theorem OAI.PathSelection.PreparationLimit.joint_preparation_from_regular_germ line 134
  5. theorem OAI.PathSelection.PreparationLimit.common_preparation_domain line 183
  6. theorem OAI.PathSelection.PreparationLimit.joint_preparation_and_divisions_from_germs line 225