Theorem ENat.add_lt_add_iff_right

Modification history

2024-10-22 16:44
Mathlib/Data/ENat/Basic.lean
feat: lemmas about order on ENat (#17979)
Added ENat.add_lt_add_iff_rightView on Github →