Proof available

Fun.comp_assoc: ?f \(\circ\) ?g \(\circ\) ?h = ?f \(\circ\) (?g \(\circ\) ?h)

Proof unavailable