Skip to content

Generalised Lemma and shortened

ff70107
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

Added lemma to swap mathcomp natural log with Rocqs natural log #1831

Generalised Lemma and shortened
ff70107
Select commit
Loading
Failed to load commit list.