Mathlib v3 is deprecated. Go to Mathlib v4

Def has_quotient.quotient

Modification history

2021-12-04 01:52
src/algebra/quotient.lean
feat(*): `A ⧸ B` notation for quotients in algebra (#10501) …
Added has_quotient.quotientView on Github →