∀ {C : Type u_2} [inst : CategoryTheory.Category.{u_1, u_2} C] [inst_1 : CategoryTheory.Preadditive C] (G : C),
  RingHomInvPair (RingHom.id (CategoryTheory.End G)ᵐᵒᵖ) (RingHom.id (CategoryTheory.End G)ᵐᵒᵖ)