Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-08-31 22:37 df65dde5

View on Github →

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

  • feat(data/option/basic): eq_some_iff_get_eq
  • Update basic.lean

Estimated changes