(a + b) + c = a + (b + c)

total plus_assoc : (a, b, c : Nat) -> (a + b) + c = a + (b + c)

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