Commit 2025-01-07 20:10 ddb5f710

View on Github →

chore(Multilinear/Basic): generalize the SMul instance (#20536)

Estimated changes

modified theorem MultilinearMap.coe_smul
modified theorem MultilinearMap.smul_apply