Theorem RingQuot.eqvGen_rel_eq

Modification history

2024-09-02 17:50

Mathlib/Algebra/RingQuot.lean

chore: move `Init.Data.Quot` to `Logic.Relation` (#16378)

Modified RingQuot.eqvGen_rel_eq View on Github →

2023-04-21 08:03

Mathlib/Algebra/RingQuot.lean

feat: port Algebra.RingQuot (#3383)

Added RingQuot.eqvGen_rel_eq View on Github →