mathlib3

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

#1239

Merged