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` `instIsRightCancelAddOfAddRightReflectLE` `contravariant_swap_add_of_contravariant_add` `IsLeftCancelAdd.addLeftReflectLE_of_addLeftReflectLT` `instIsLeftCancelAddOfAddLeftReflectLE` `AddGroup.covconv` `instAddLeftMono` `contravariant_lt_of_covariant_le` `covariant_swap_add_of_covariant_add` `add_comm` `le_add_of_nonneg_right` `sub_nonneg` `add_sub_cancel`

---