Theorem Counterexample.Nxzmod2.le_of_add_le_add_left

Modification history

2023-06-17 05:17
Counterexamples/CanonicallyOrderedCommSemiringTwoMul.lean
feat: port Counterexamples.CanonicallyOrderedCommSemiringTwoMul (#5162)
Added Counterexample.Nxzmod2.le_of_add_le_add_leftView on Github →