chore: make RingHom.id implicit-reducible
#38509
+2
−4
Open
Loading