mathlib3
fix(data/zmod/basic) remove unused argument from instance
#1239
Merged

fix(data/zmod/basic) remove unused argument from instance #1239

ChrisHughes24 merged 1 commit into master from ChrisHughes24-patch-2
ChrisHughes24
ChrisHughes24 fix(data/zmod/basic) remove unused argument from instance
ff0fa47e
ChrisHughes24 ChrisHughes24 requested a review 6 years ago
ChrisHughes24 ChrisHughes24 merged 86e72876 into master 6 years ago
ChrisHughes24 ChrisHughes24 deleted the ChrisHughes24-patch-2 branch 6 years ago

Login to write a write a comment.

Login via GitHub

Reviewers
No reviews
Assignees
No one assigned
Labels
Milestone