Def RingQuot.equiv_quot_equiv

Modification history

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