L'Hôpital's rule for ∞/∞ forms - #2034

Open

amolinamounier wants to merge 11 commits into

math-comp:masterfrom

amolinamounier:lhop_infty

Commits on Jul 15, 2026

Utility lemmas in filter.v
amolinamounier
committed
b2536f8
Fix indentation
amolinamounier
committed
f11fbda
normed module identity convergence lemmas
amolinamounier
committed
75a0948
Update changelog
amolinamounier
committed
7607dd5
Topology lemmas
amolinamounier
committed
022fed0
normed module neighborhood lemmas
amolinamounier
committed
fa30e1f
Update changelog
amolinamounier
committed
cbb96a1
Missing `num_topology` lemmas
amolinamounier
committed
db98ac7
L'Hôpital's rule for infty/infty forms
amolinamounier
committed
3862db4
Update changelog
amolinamounier
committed
efaa663
Add dependency on #2029 for CI
amolinamounier
committed
9fc7041