mathlib3
fix(tactic/norm_num) Bugfix for norm num when testing divisibility of integers
#2355
Merged
Merged