Order properties of tiny

We show that tiny does not have certain order properties.

theorem IGame.exists_pos_fuzzy_tiny_lt : ∃ (x : IGame) (y : IGame), 0 < x ∧ 0 < y ∧ x ‖ y ∧ ⧾x < ⧾y

theorem IGame.exists_pos_fuzzy_tiny_equiv : ∃ (x : IGame) (y : IGame), 0 < x ∧ 0 < y ∧ x ‖ y ∧ ⧾x ≈ ⧾y

theorem IGame.exists_pos_fuzzy_tiny_fuzzy : ∃ (x : IGame) (y : IGame), 0 < x ∧ 0 < y ∧ x ‖ y ∧ ⧾x ‖ ⧾y

theorem IGame.exists_pos_lt_tiny_gt : ∃ (x : IGame) (y : IGame), 0 < x ∧ 0 < y ∧ x < y ∧ ⧾y < ⧾x

theorem IGame.exists_pos_lt_tiny_equiv : ∃ (x : IGame) (y : IGame), 0 < x ∧ 0 < y ∧ x < y ∧ ⧾x ≈ ⧾y