Mathlib v3 is deprecated. Go to Mathlib v4

Def equiv.option_is_some_equiv

Modification history

2021-10-11 07:59
src/data/equiv/basic.lean
feat(data/finset): add `finset.erase_none` (#9630) …
Modified equiv.option_is_some_equivView on Github →
2020-04-07 15:31
src/data/equiv/basic.lean
refactor(measure_theory/borel): `borel` is not an `instance` (#2326) …
Added equiv.option_is_some_equivView on Github →