Mathlib v3 is deprecated. Go to Mathlib v4

Theorem equiv.option_congr_eq_equiv_function_map_equiv

Modification history

2022-02-24 11:57
src/data/equiv/option.lean
feat(data/equiv/option): option_congr (#12263) …
Added equiv.option_congr_eq_equiv_function_map_equivView on Github →