Theorem ENat.add_lt_add_iff_left

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_leftView on Github →