Theorem: LoVe.sorted_7_9_9_11 (LoVe/Lectures/LoVe06_InductivePredicates_Demo.lean)

State before:
⊢ 7 ≤ 9
Tactic:
simp
State after:
no goals

State before:
⊢ 9 ≤ 9
Tactic:
simp
State after:
no goals

State before:
⊢ 9 ≤ 11
Tactic:
simp
State after:
no goals