Changes

|-

|-

|

|

::<p><math>\begin{array}{c}

::<p><math>\dfrac{~ f : A \to B \quad g : B \to C ~}{gf : A \to C}</math></p>

\underline{~ f : A \to B ~~~~~ g : B \to C ~}

gf : A \to C

\end{array}</math></p>

|-

|-

|

|