mathlib3
fix(tactic/norm_num) Bugfix for norm num when testing divisibility of integers
#2355
Merged
Overview
Commits
2
Changes
View On GitHub

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

mergify merged 2 commits into master from norm-num-int-dvd
alexjbest
alexjbest Bugfix for norm num when testing divisibility of integers
6150419f
alexjbest alexjbest changed the title Bugfix for norm num when testing divisibility of integers fix(tactic/norm_num) Bugfix for norm num when testing divisibility of integers 5 years ago
alexjbest alexjbest added awaiting-review
digama0
digama0 approved these changes on 2020-04-08
digama0 digama0 removed awaiting-review
digama0 digama0 added ready-to-merge
mergify[bot] Merge branch 'master' into norm-num-int-dvd
ade50b93
mergify mergify merged e4e483e5 into master 5 years ago
mergify mergify deleted the norm-num-int-dvd branch 5 years ago

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
No one assigned
Labels
ready-to-merge
Milestone
No milestone
Terms Of Use Privacy Policy Refund Policy Impressum