Theorem ENat.add_le_add_iff_right

Modification history

2025-12-01 10:02
Mathlib/Data/ENat/Basic.lean
feat(GroupTheory/GroupAction/SubMulAction/Combination): combinations and group actions (#27107) …
Added ENat.add_le_add_iff_rightView on Github →