Mathlib v3 is deprecated. Go to Mathlib v4

Def equiv.quot_equiv_of_quot'

Modification history

2019-11-11 21:44
src/data/equiv/basic.lean
cleanup(data/equiv/basic): drop `quot_equiv_of_quot'`, rename `quot_equiv_of_quot` (#1672) …
Deleted equiv.quot_equiv_of_quot'View on Github →
2018-09-10 22:44
data/equiv/basic.lean
feat(data/equiv/basic): quot_equiv_of_quot(') …
Added equiv.quot_equiv_of_quot'View on Github →