refactor(Algebra): replace RingEquivClass.toRingEquiv by structure-specific coercions#21031
Open
YaelDillies wants to merge 1 commit intomasterfrom
Open
refactor(Algebra): replace RingEquivClass.toRingEquiv by structure-specific coercions#21031YaelDillies wants to merge 1 commit intomasterfrom
RingEquivClass.toRingEquiv by structure-specific coercions#21031YaelDillies wants to merge 1 commit intomasterfrom
