Skip to content

Actions: CoolRmal/mathlib4

Actions

Cross off linked issues

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
sync_closed_tasks.yaml
6 workflow runs
6 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Add monotone-of-tendsto lemmas and OrderDual SupConvergenceClass instance Cross off linked issues #7: Pull request #7 closed by CoolRmal
9s codex/add-monotonicity-proofs-to-mathlib
codex/add-monotonicity-proofs-to-mathlib
9s
Add monotone_of_tendsto and monotone_of_tendsto_of_eventually lemmas Cross off linked issues #6: Pull request #6 closed by CoolRmal
9s codex/create-branch-for-monotone-functions-proof
codex/create-branch-for-monotone-functions-proof
9s
feat: add closed and compact corollaries of Lusin's theorem Cross off linked issues #5: Pull request #5 closed by CoolRmal
8s mike1729:coolrmal-lusin
mike1729:coolrmal-lusin
8s
chore(Order/Filter/Extr): fix docstrings; format Cross off linked issues #3: Pull request #3 closed by CoolRmal
10s Deep0Thinking:derivativetest
Deep0Thinking:derivativetest
10s
refactor(Analysis/Calculus/DerivativeTest): generalize and clean up Cross off linked issues #2: Pull request #2 closed by CoolRmal
10s Deep0Thinking:derivativetest
Deep0Thinking:derivativetest
10s
feat(Analysis/Calculus/DerivativeTest): add continuousOn_*, isMaxOn_of_deriv_*, isMinOn_of_deriv_* Cross off linked issues #1: Pull request #1 closed by CoolRmal
7s Deep0Thinking:derivativetest
Deep0Thinking:derivativetest
7s