Theorem: four_le_ten (GroupComp/NatLe.lean)

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