chore: make RingHom.id implicit-reducible#38509
Open
sgouezel wants to merge 2 commits intoleanprover-community:masterfrom
Open
chore: make RingHom.id implicit-reducible#38509sgouezel wants to merge 2 commits intoleanprover-community:masterfrom
RingHom.id implicit-reducible#38509sgouezel wants to merge 2 commits intoleanprover-community:masterfrom
