Def RingQuot.algEquivQuotAlgEquiv

Modification history

2024-12-08 15:02
Mathlib/LinearAlgebra/FreeProduct/Basic.lean
chore(*): rename some `defs` to `camelCase` (#19795)
Added RingQuot.algEquivQuotAlgEquivView on Github →