Skip to content

new derive.v lemmas - #2026

Open
amolinamounier wants to merge 6 commits into
math-comp:masterfrom
amolinamounier:derive_new
Open

new derive.v lemmas#2026
amolinamounier wants to merge 6 commits into
math-comp:masterfrom
amolinamounier:derive_new

Correct dependency to #2024

49b25e0
Select commit
Loading
Failed to load commit list.
Sign in for the full log view