Autolabel PRs

Workflow runs for Autolabel PRs

• rebase onto jovan

  skipped:
  Autolabel PRs#21:Commit6a6f3a8pushedbylua-vr
  dualize-indexed

  Jul 12, 20261s
  More actions for workflow run 21

• merge upstream

  skipped:
  Autolabel PRs#20:Commit4459ee9pushedbylua-vr
  setm

  Jul 9, 2026Skipped
  More actions for workflow run 20

• pointwise ergodic theorem

  skipped:
  Autolabel PRs#19:Commit0c5cf9bpushedbylua-vr
  pointwise-birkhoff

  Jul 1, 20261s
  More actions for workflow run 19

• pointwise ergodic theorem

  skipped:
  Autolabel PRs#18:Commit0c5cf9bpushedbylua-vr
  pointwise-birkhoff-simple

  Jul 1, 20262s
  More actions for workflow run 18

• merge upstream

  skipped:
  Autolabel PRs#17:Commit8f37fd4pushedbylua-vr
  maximal-ergodic-theorem

  Jul 1, 20261s
  More actions for workflow run 17

• pointwise birkhoff theorem

  skipped:
  Autolabel PRs#16:Commita744f1fpushedbylua-vr
  pointwise-birkhoff

  Jun 18, 20261s
  More actions for workflow run 16

• generalize oscillation

  skipped:
  Autolabel PRs#15:Commit20d7f0fpushedbylua-vr
  generalize-oscillation

  Jun 18, 20261s
  More actions for workflow run 15

• setm tactic

  skipped:
  Autolabel PRs#14:Commit01d07a9pushedbylua-vr
  setm

  Jun 15, 20261s
  More actions for workflow run 14

• feat: make topologicalClosure a ClosureOperator

  skipped:
  Autolabel PRs#13:Commita431255pushedbylua-vr
  top-closure-operator

  Jun 5, 20269s
  More actions for workflow run 13

• pointwise birkhoff theorem

  skipped:
  Autolabel PRs#12:Commitd67de5bpushedbylua-vr
  pointwise-birkhoff

  Jun 3, 20262s
  More actions for workflow run 12

• merge upstream

  skipped:
  Autolabel PRs#11:Commit9c6e722pushedbylua-vr
  maximal-ergodic-theorem

  Jun 3, 20262s
  More actions for workflow run 11

• merge upstream

  skipped:
  Autolabel PRs#10:Commit271a91cpushedbylua-vr
  dualize-indexed

  May 31, 20261s
  More actions for workflow run 10

• merge upstream

  skipped:
  Autolabel PRs#9:Commitb86c675pushedbylua-vr
  dualize-indexed

  May 31, 20261s
  More actions for workflow run 9

• style changes

  skipped:
  Autolabel PRs#8:Commit9d28854pushedbylua-vr
  maximal-ergodic-theorem

  May 18, 20262s
  More actions for workflow run 8

• merge master

  skipped:
  Autolabel PRs#7:Commitb317858pushedbylua-vr
  dualize-indexed

  May 13, 20261s
  More actions for workflow run 7

• merge master

  skipped:
  Autolabel PRs#6:Commitcfd711cpushedbylua-vr
  indexed

  May 13, 20262s
  More actions for workflow run 6

• add missing docstring

  skipped:
  Autolabel PRs#5:Commit0215e41pushedbylua-vr
  maximal-ergodic-theorem

  Mar 5, 20261s
  More actions for workflow run 5

• Anne's suggestions

  skipped:
  Autolabel PRs#4:Commit4b3bb70pushedbylua-vr
  exists_partialSups_eq

  Mar 3, 20262s
  More actions for workflow run 4

• feat(Integral.Bochner.Set): add tendsto_setIntegral_of_monotone₀

  skipped:
  Autolabel PRs#3:Commita3db36cpushedbylua-vr
  tendsto_monotone_ae

  Jan 16, 20261s
  More actions for workflow run 3

• feat(RingTheory/KrullDimension): dimension of polynomial ring (#27542)

  skipped:
  Autolabel PRs#2:Commit9196e9fpushedbylua-vr
  ergodic-decomposition

  Jan 16, 20261s
  More actions for workflow run 2

• temp

  skipped:
  Autolabel PRs#1:Commite3ae3d3pushedbylua-vr
  pointwise-ergodic-thm

  Dec 22, 20252s
  More actions for workflow run 1