GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it

1
\begin{sequent}
2
\begin{align*}
3
  \alpha: \Mor ~|~ \IsMonomorphism( \alpha ), \IsEpimorphism( \alpha ) \vdash \IsIsomorphism( \alpha )
4
\end{align*}
5
\end{sequent}
6