OAI/Analysis/C0Absorption/Detection.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.C0Absorption.constant_detector_false line 15
  2. theorem OAI.C0Absorption.tail_remainder_false line 24
  3. theorem OAI.C0Absorption.fixed_cylinder_tails_false_aux line 36
  4. theorem OAI.C0Absorption.fixed_cylinder_tails_false line 138
  5. theorem OAI.C0Absorption.repeated_label_false_aux line 162
  6. theorem OAI.C0Absorption.repeated_label_false line 260
  7. def OAI.C0Absorption.GeneratedRepresentation.relabel line 285
  8. theorem OAI.C0Absorption.GeneratedRepresentation.relabel_length line 287
  9. theorem OAI.C0Absorption.GeneratedRepresentation.relabel_value line 290
  10. theorem OAI.C0Absorption.bounded_band_detectors_false line 294
  11. theorem OAI.C0Absorption.source_detectors_false line 319
  12. theorem OAI.C0Absorption.source_no_bounded_signs_lower line 347
  13. theorem OAI.C0Absorption.atoms_signed_bound line 354
  14. theorem OAI.C0Absorption.source_noLinearC0 line 372