Cross off linked issues

Workflow runs for Cross off linked issues

• Add monotone-of-tendsto lemmas and OrderDual SupConvergenceClass instance

  completed successfully:
  Cross off linked issues#7:Pull request#7closedbyCoolRmal
  codex/add-monotonicity-proofs-to-mathlib

  May 18, 20269s
  More actions for workflow run 7

• Add monotone_of_tendsto and monotone_of_tendsto_of_eventually lemmas

  completed successfully:
  Cross off linked issues#6:Pull request#6closedbyCoolRmal
  codex/create-branch-for-monotone-functions-proof

  May 18, 20269s
  More actions for workflow run 6

• feat: add closed and compact corollaries of Lusin's theorem

  completed successfully:
  Cross off linked issues#5:Pull request#5closedbyCoolRmal
  mike1729:coolrmal-lusin

  Apr 25, 20268s
  More actions for workflow run 5

• chore(Order/Filter/Extr): fix docstrings; format

  completed successfully:
  Cross off linked issues#3:Pull request#3closedbyCoolRmal
  Deep0Thinking:derivativetest

  Apr 2, 202610s
  More actions for workflow run 3

• refactor(Analysis/Calculus/DerivativeTest): generalize and clean up

  completed successfully:
  Cross off linked issues#2:Pull request#2closedbyCoolRmal
  Deep0Thinking:derivativetest

  Mar 9, 202610s
  More actions for workflow run 2

• feat(Analysis/Calculus/DerivativeTest): add continuousOn_*, isMaxOn_of_deriv_*, isMinOn_of_deriv_*

  completed successfully:
  Cross off linked issues#1:Pull request#1closedbyCoolRmal
  Deep0Thinking:derivativetest

  Feb 24, 20267s
  More actions for workflow run 1