Convention:Function composition

In Groupprops, the notation $f\circ g$ always denotes $g$, followed by $f$. In other words, if $g:A\to B$, and $f:B\to C$ are maps, then $f\circ g$ denotes the composite map from $A$ to $C$.

This convention for function composition also explains the corresponding convention for group action.