Theorem Int.natAbs_natCast_sub_natCast_of_le

Modification history

2025-06-23 14:05
Mathlib/Data/Int/NatAbs.lean
feat: IMO 1985 Q2 (#25783)
Added Int.natAbs_natCast_sub_natCast_of_leView on Github →