Check natural numbers are equal

total dec_eq_nat : (a : Nat) -> (b : Nat) -> Dec (a = b)

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