Hello! I’m new in Coq and I can’t understand how to prove such laws( Can someone help me with some please? (A → B) → (A → C) → (B → C → D) → (A → D); (A → A → B) → (A → B); (A → B) → (A → A → B); (A → C) → A → B → C; …