OAI/MathematicalPhysics/NavierStokes/Material/Selectors.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.Alternating.Memory.digitSelector line 8
  2. theorem OAI.Alternating.Memory.digitSelector_smooth line 12
  3. theorem OAI.Alternating.Memory.digitSelector_mem line 17
  4. theorem OAI.Alternating.Memory.digitSelector_one_near line 24
  5. theorem OAI.Alternating.Memory.digitSelector_one line 31
  6. theorem OAI.Alternating.Memory.digitSelector_zero_left line 35
  7. theorem OAI.Alternating.Memory.digitSelector_zero_right line 40
  8. theorem OAI.Alternating.Memory.digitSelector_selects line 47
  9. theorem OAI.Alternating.Memory.digitSelector_support line 61
  10. theorem OAI.Alternating.Memory.digitSelector_compact line 75
  11. theorem OAI.Alternating.Memory.digitSelector_disjoint line 79
  12. theorem OAI.Alternating.Memory.digitSelector_deriv_compact line 96
  13. theorem OAI.Alternating.Memory.digitSelector_derivatives_bounded line 102