feat(data/option/basic): eq_some_iff_get_eq (#1370)
feat(data/option/basic): eq_some_iff_get_eq (#1370)

* feat(data/option/basic): eq_some_iff_get_eq

* Update basic.lean

leanprover-community/mathlib,leanprover-community/mathlib