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

State before:
⊢ 3 ≤ 5
Tactic:
simp
State after:
no goals