mathlib3
fix(int/basic): change order of instances to int.cast
#877

Merged

fix(int/basic): change order of instances to int.cast #877

cipher1024 merged 1 commit into master from robertylewis-patch-1

fix(int/basic): change order of instances to int.cast

cd9a6634

jcommelin approved these changes on 2019-04-02

cipher1024 assigned

cipher1024 6 years ago

cipher1024 merged e96d6b75 into master 6 years ago

cipher1024 deleted the robertylewis-patch-1 branch 6 years ago

Reviewers

jcommelin

Assignees

cipher1024

Labels

None yet

Milestone

No milestone