Range

Statistics

Metric	Count
Definitions `decidableLELE`, `decidableLELT`, `decidableLTLE`, `decidableLTLT`, `range`	5
Theorems `mem_range_iff`	1
Total	6

Name	Kind	Assumes	Proves	Validates	Depends On
`mem_range_iff` 📖	mathematical	—	`range`	—	`IsRightCancelAdd.addRightStrictMono_of_addRightMono` `AddRightCancelSemigroup.toIsRightCancelAdd` `covariant_swap_add_of_covariant_add` `instAddLeftMono` `add_comm` `le_add_of_nonneg_right` `sub_nonneg` `add_sub_cancel`

---