mathlib3
8131349c - fix(tactic/norm_num): remove one_div from simp set (#4705)

Commit

5 years ago

fix(tactic/norm_num): remove one_div from simp set (#4705) fixes #4701

References

#4925 - Make prime-avoidance branch build

Author

digama0

digama0

Parents

Loading