normed module identity convergence lemmas - #2029

Merged

affeldt-aist merged 8 commits into

math-comp:masterfrom

amolinamounier:identity_cvg_lemmas

Aug 3, 2026

Commits on Aug 3, 2026

normed module identity convergence lemmas

amolinamounier
authored and
affeldt-aist
committed
878513d
Update changelog

amolinamounier
authored and
affeldt-aist
committed
36b908f
rm lemmas subsumed by Hint automation
affeldt-aist
committed
b22a3cd
rename lemmas

amolinamounier
authored and
affeldt-aist
committed
5b55377
use lemmas
affeldt-aist
committed
1e3aa8f
rm cst versions
affeldt-aist
committed
ee80ed1
Generalize and add cvgZ0
amolinamounier
committed
26dbea3
fix
affeldt-aist
committed
c0affd5