n + 0 = n

total zero_plus : (n : Nat) -> n + 0 = n

Please log in; otherwise your solution and progress won't be saved