Mathlib v3 is deprecated. Go to Mathlib v4

Theorem option.eq_some_iff_get_eq

Modification history

2019-10-20 10:46
src/data/option/basic.lean
feat(tactic/suggest): generalize and reimplement library_search (#1552) …
Modified option.eq_some_iff_get_eqView on Github →
2019-08-31 22:37
src/data/option/basic.lean
feat(data/option/basic): eq_some_iff_get_eq (#1370) …
Added option.eq_some_iff_get_eqView on Github →