Theorem Nat.mod_sub_of_le

Modification history

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