Mathlib v3 is deprecated. Go to Mathlib v4

Def ideal.quotient

Modification history

2021-12-04 01:52

src/ring_theory/ideal/quotient.lean

feat(*): `A ⧸ B` notation for quotients in algebra (#10501) …

Deleted ideal.quotient View on Github →

2021-10-22 13:16

src/ring_theory/ideal/basic.lean

refactor(ring_theory/ideal): split off `quotient.lean` (#9850) …

Modified ideal.quotient View on Github →

2018-11-05 10:47

ring_theory/ideals.lean

feat(linear_algebra,ring_theory): refactoring modules (#456) …

Added ideal.quotient View on Github →