s/GroupTheoryFormalizations.agda/FormalisationsSL.agda.