correct typo Nat.add_com -> Nat.add_comm
correct typo Nat.add_com -> Nat.add_comm

Zimmi48/coq,ejgallego/coq,coq/coq,coq/coq,Zimmi48/coq,SkySkimmer/coq,SkySkimmer/coq,coq/coq,coq/coq,SkySkimmer/coq,SkySkimmer/coq,Zimmi48/coq,Zimmi48/coq,ejgallego/coq,ejgallego/coq,ejgallego/coq