Theorem Int.abs_sub_lt_of_lt_lt

Modification history

2024-10-01 20:15
Mathlib/Algebra/Order/Group/Unbundled/Int.lean
chore(*.ModEq): reduce dependencies (#17154) …
Added Int.abs_sub_lt_of_lt_ltView on Github →