Anfonwch hwn fel neges destun: Relative Frobenius algebras are groupoids