Repository navigation

Add monotone-of-tendsto lemmas and OrderDual SupConvergenceClass instance - #7

Closed

CoolRmal wants to merge 1 commit into

monotonelimitfrom

codex/add-monotonicity-proofs-to-mathlib

Commits on May 18, 2026
- refactor: move monotone limit lemmas to MonotoneConvergence
  CoolRmal
  committed
  33f0b1f