Run pre-commit and in-place update PR on push

Workflow runs for Run pre-commit and in-place update PR on push

• Merge branch 'master' into erdos-stone-2

  completed successfully:
  Run pre-commit and in-place update PR on push#188:Commit33c61d1pushedbymitchell-horner
  erdos-stone-2

  Sep 28, 202621s
  More actions for workflow run 188

• Merge branch 'master' into erdos-stone-2

  completed successfully:
  Run pre-commit and in-place update PR on push#187:Commitbdc4528pushedbymitchell-horner
  erdos-stone-2

  Sep 28, 202628s
  More actions for workflow run 187

• Refactor ErdosStoneSimonovits.lean

  completed successfully:
  Run pre-commit and in-place update PR on push#186:Commite4f88e1pushedbymitchell-horner
  erdos-stone-refactor

  Sep 28, 202622s
  More actions for workflow run 186

• Rewrite docstrings

  completed successfully:
  Run pre-commit and in-place update PR on push#185:Commit2c280f6pushedbymitchell-horner
  erdos-stone-2

  Sep 27, 202626s
  More actions for workflow run 185

• Reverse order I ⊑ H ⊑ G

  completed successfully:
  Run pre-commit and in-place update PR on push#184:Commit04b6e2epushedbymitchell-horner
  copy-g-h-i

  Sep 27, 202623s
  More actions for workflow run 184

• Refactor ErdosStoneSimonovits.lean

  completed successfully:
  Run pre-commit and in-place update PR on push#183:Commit5b4facepushedbymitchell-horner
  erdos-stone-refactor

  Sep 27, 202624s
  More actions for workflow run 183

• Rename pairwiseDisjoint to disjoint

  completed successfully:
  Run pre-commit and in-place update PR on push#182:Commit9692b35pushedbymitchell-horner
  erdos-stone-refactor

  Sep 26, 202624s
  More actions for workflow run 182

• Refactor ErdosStoneSimonovits.lean

  completed successfully:
  Run pre-commit and in-place update PR on push#181:Commit9ed7e51pushedbymitchell-horner
  erdos-stone-refactor

  Sep 26, 202633s
  More actions for workflow run 181

• Refactor ErdosStoneSimonovits.lean

  completed successfully:
  Run pre-commit and in-place update PR on push#180:Commit7c32b75pushedbymitchell-horner
  erdos-stone-2

  Sep 26, 202626s
  More actions for workflow run 180

• Refactor KovariSosTuran.lean

  completed successfully:
  Run pre-commit and in-place update PR on push#179:Commit1ed83fcpushedbymitchell-horner
  mitchell-horner/kovari-sos-turan

  Sep 26, 202625s
  More actions for workflow run 179

• Replace abbrev with def

  completed successfully:
  Run pre-commit and in-place update PR on push#178:Commit491233dpushedbymitchell-horner
  copy-top

  Sep 26, 202622s
  More actions for workflow run 178

• Add simp lemmas. Fix map_induce.

  completed successfully:
  Run pre-commit and in-place update PR on push#177:Commit447c8a4pushedbymitchell-horner
  copy-top

  Sep 26, 202631s
  More actions for workflow run 177

• H is contained in G is contained I

  completed successfully:
  Run pre-commit and in-place update PR on push#176:Commit83d3316pushedbymitchell-horner
  copy-g-h-i

  Sep 26, 202630s
  More actions for workflow run 176

• Add Hom.bot and Hom.top

  completed successfully:
  Run pre-commit and in-place update PR on push#175:Commit98fd060pushedbymitchell-horner
  copy-top

  Sep 26, 202629s
  More actions for workflow run 175

• Restore Iso.isContained'

  completed successfully:
  Run pre-commit and in-place update PR on push#174:Commita41b40cpushedbymitchell-horner
  copy-top

  Sep 26, 202631s
  More actions for workflow run 174

• Refactor Copy.lean

  completed successfully:
  Run pre-commit and in-place update PR on push#173:Commit9df1f4apushedbymitchell-horner
  copy-top

  Sep 26, 202628s
  More actions for workflow run 173

• Review feedback

  completed successfully:
  Run pre-commit and in-place update PR on push#172:Commit7f9943fpushedbymitchell-horner
  mitchell-horner/kovari-sos-turan

  Sep 20, 202640s
  More actions for workflow run 172

• Golf turanDensity_nonneg

  completed successfully:
  Run pre-commit and in-place update PR on push#171:Commit1b331f2pushedbymitchell-horner
  extremal-turan-bounds

  Sep 20, 20261m 9s
  More actions for workflow run 171

• Merge branch 'master' into copy-top

  completed successfully:
  Run pre-commit and in-place update PR on push#170:Commit84e604dpushedbymitchell-horner
  copy-top

  Sep 20, 202632s
  More actions for workflow run 170

• Merge branch 'master' into labelled-copy-count-api

  completed successfully:
  Run pre-commit and in-place update PR on push#169:Commit2be7416pushedbymitchell-horner
  labelled-copy-count-api

  Sep 20, 202627s
  More actions for workflow run 169

• Merge branch 'master' into erdos-stone-2

  completed successfully:
  Run pre-commit and in-place update PR on push#168:Commit1da9433pushedbymitchell-horner
  erdos-stone-2

  Sep 20, 202634s
  More actions for workflow run 168

• Merge branch 'master' into copy-top

  completed successfully:
  Run pre-commit and in-place update PR on push#167:Commit23af98dpushedbymitchell-horner
  copy-top

  Sep 2, 202627s
  More actions for workflow run 167

• Add variables

  completed successfully:
  Run pre-commit and in-place update PR on push#166:Commit1b0be38pushedbymitchell-horner
  erdos-stone-2

  Aug 29, 202626s
  More actions for workflow run 166

• Use dite_eq_left

  completed successfully:
  Run pre-commit and in-place update PR on push#165:Commit3a54e9cpushedbymitchell-horner
  extremal-turan-bounds

  Aug 29, 202625s
  More actions for workflow run 165

• Merge branch 'master' into extremal-turan-bounds

  completed successfully:
  Run pre-commit and in-place update PR on push#164:Commit1101215pushedbymitchell-horner
  extremal-turan-bounds

  Aug 29, 202629s
  More actions for workflow run 164