Added lemma to swap mathcomp natural log with Rocqs natural log#1831
Merged
proux01 merged 2 commits intomath-comp:masterfrom Jan 28, 2026
Merged
Added lemma to swap mathcomp natural log with Rocqs natural log#1831proux01 merged 2 commits intomath-comp:masterfrom
proux01 merged 2 commits intomath-comp:masterfrom
Commits
Commits on Jan 28, 2026
- authored andcommitted
- authored andcommitted
