feat: add a LE version Rat.lt_one_iff_num_le_denom theorem#35097

pevogam wants to merge 1 commit intoleanprover-community:masterleanprover-community/mathlib4:masterfrom

pevogam:masterpevogam/mathlib4:masterCopy head branch name to clipboard