transfer_instance): avoid `let`, provide `nsmul`
#10151

Open

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

urkud wants to merge 1 commit into master from YK-transfer-equiv

Snapshot

14f1dd7b

urkud added WIP

urkud removed WIP

urkud added awaiting-review

eric-wieser removed awaiting-review

eric-wieser added awaiting-author

eric-wieser commented on 2021-12-15

leanprover-community-bot-assistant added merge-conflict

kim-em added too-late

Reviewers

eric-wieser

Assignees

No one assigned

Labels

awaiting-author merge-conflict too-late

Milestone

No milestone