OAI/ModelTheory/Categoricity/Subarrays.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.CHObstruction.BaseOrders.small_hull line 18
  2. def OAI.CHObstruction.Arrays.Data.restrict line 76
  3. def OAI.CHObstruction.Arrays.Data.restrictMap line 96
  4. theorem OAI.CHObstruction.Arrays.Data.restrictMap_colors line 103
  5. theorem OAI.CHObstruction.Arrays.Data.restrict_object line 109
  6. theorem OAI.CHObstruction.Arrays.Data.restrict_strong line 119
  7. theorem OAI.CHObstruction.Arrays.Data.cardinal_le line 134
  8. theorem OAI.CHObstruction.Arrays.Data.cardinal_eq line 157