OAI/Analysis/SymmetricDomains/WeightedUnscaleC1Error.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.Release061.weightedUnscale line 35
  2. lemma OAI.Release061.weightedUnscale_scale line 38
  3. lemma OAI.Release061.weightedScale_unscale line 42
  4. lemma OAI.Release061.weightedUnscale_sub line 46
  5. lemma OAI.Release061.weightedUnscale_norm line 50
  6. lemma OAI.Release061.weightedScale_uniform_zero line 65
  7. lemma OAI.Release061.weightedScale_continuous_uniform line 82
  8. lemma OAI.Release061.weightedScale_eventually_mem line 90
  9. theorem OAI.Release061.weightedUnscale_C1_error line 97