Strictly_Increasing_Mapping_is_Increasing
Disprovedincreasing-mappingsproofwiki
A mapping that is strictly increasing is an increasing mapping.
Preamble
import Mathlib.Order.Monotone.Basic
Formal statement
theorem Strictly_Increasing_Mapping_is_Increasing {α : Type _} {β : Type _} [Preorder α] [Preorder β] {f : α → β} (hf : StrictMono f) : Monotone f := by sorrySource