Repository navigation

Generalize `cvg_lim` - #2135

Merged

affeldt-aist merged 2 commits into

math-comp:masterfrom

nmolinamounier:cvg-lim-gen

Oct 21, 2026

Merged

Generalize `cvg_lim`#2135
affeldt-aist merged 2 commits into
math-comp:masterfrom
nmolinamounier:cvg-lim-gen

Commits on Oct 20, 2026
- generalize cvg_lim
  Neptune MM
  committed
  965967d
Commits on Oct 21, 2026
- Apply suggestion from @affeldt-aist
  affeldt-aist
  authored
  970d819