new `derive.v` lemmas - #2026

Merged

affeldt-aist merged 10 commits into

math-comp:masterfrom

amolinamounier:derive_new

Aug 16, 2026

Commits on Aug 16, 2026

New derive lemmas

amolinamounier
authored and
affeldt-aist
committed
1eace3e
Update changelog

amolinamounier
authored and
affeldt-aist
committed
901e7af
Add dependency on #2029 for CI

amolinamounier
authored and
affeldt-aist
committed
9dee877
Add dependency on #2027 for CI

amolinamounier
authored and
affeldt-aist
committed
b98e893
Correct dependency to #2024

amolinamounier
authored and
affeldt-aist
committed
2640da3
fix after rebase, linting, minor gen
affeldt-aist
committed
ff5d949
nitpick
affeldt-aist
committed
a8123f9
renaming
affeldt-aist
committed
bfb4e97
fix changelog
affeldt-aist
committed
2d32251
fix changelog
affeldt-aist
committed
7891507