Mathlib v3 is deprecated. Go to Mathlib v4

Inductive ring_quot.rel

Modification history

2020-09-19 03:33

src/algebra/ring_quot.lean

feat(algebra/ring_quot): quotients of noncommutative rings (#4078)

Added ring_quot.rel View on Github →