norm_num
extension for integer div/mod and divides #
This file adds support for the %
, /
, and ∣
(divisibility) operators on ℤ
to the norm_num
tactic.
norm_num
extension for integer div/mod and divides #This file adds support for the %
, /
, and ∣
(divisibility) operators on ℤ
to the norm_num
tactic.