Commit 2026-10-28 14:22 27402ab3

View on Github →

feat: use IsApply for AffineBasis (#45333)

Estimated changes

modified theorem AffineBasis.coe_smul
modified theorem AffineBasis.coe_vadd