Commit 2026-03-30 17:05 735f4aea

View on Github →

chore: change some {R : Type} to {R : Type*} (#37368)

Estimated changes

modified theorem fwdDiff_smul
modified theorem fwdDiff_smul_const