שליחה במסרון: Relative Frobenius algebras are groupoids