Theorem: nat_min_zero' (Katydid/Std/Simp.lean)

State before:
n : Nat
⊢ min 0 n = 0
Tactic:
simp
State after:
no goals