Mathlib v3 is deprecated. Go to Mathlib v4

Theorem category_theory.iso.to_equiv_symm_fun

Modification history

2019-01-27 22:43
src/category_theory/types.lean
feat(category_theory/types): conversions between iso and equiv
Added category_theory.iso.to_equiv_symm_funView on Github →