Def RingQuot.algEquiv_quot_algEquiv

Modification history

2024-12-08 15:02
Mathlib/LinearAlgebra/FreeProduct/Basic.lean
chore(*): rename some `defs` to `camelCase` (#19795)
Deleted RingQuot.algEquiv_quot_algEquivView on Github →
2024-07-19 14:02
Mathlib/LinearAlgebra/FreeProduct/Basic.lean
feat (LinearAlgebra/FreeProduct): introduce basic structure, universal property (#14858) …
Added RingQuot.algEquiv_quot_algEquivView on Github →