Def RingQuot.equivQuotEquiv

Modification history

2026-06-19 19:54

Mathlib/Algebra/RingQuot.lean

chore: move RingQuot results (#40823) …

Modified RingQuot.equivQuotEquiv View on Github →

2024-12-08 15:02

Mathlib/LinearAlgebra/FreeProduct/Basic.lean

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

Added RingQuot.equivQuotEquiv View on Github →