Def HasQuotient.Quotient

Modification history

2024-05-07 01:05
Mathlib/Algebra/Quotient.lean
refactor: replace `@[reducible]` with `abbrev` (#12614) …
Deleted HasQuotient.QuotientView on Github →
2023-01-03 22:15
Mathlib/Algebra/Quotient.lean
chore: fix more casing errors per naming scheme (#1232) …
Added HasQuotient.QuotientView on Github →