Theorem: four_le_ten (PnP2023/Lec_01_11/NatLe.lean)

State before:
⊢ 4 ≤ 10
Tactic:
decide
State after:
no goals