Mathlib v3 is deprecated. Go to Mathlib v4

Theorem nat.dist_eq_sub_of_le_right

Modification history

2020-08-15 20:42
src/data/nat/dist.lean
fix(*): remove usages of ge/gt (#3808) …
Added nat.dist_eq_sub_of_le_rightView on Github →