Def RingQuot.equivQuotEquiv

Modification history

2024-12-08 15:02

Mathlib/LinearAlgebra/FreeProduct/Basic.lean

chore(*): rename some `defs` to `camelCase` (#19795)

Added RingQuot.equivQuotEquiv View on Github →