0 + n = n

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

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