mathlib3
chore(data/equiv/transfer_instance): avoid `let`, provide `nsmul`
#10151
Open
Open