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
