Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-09-02 13:36 dd6b0351

View on Github →

feat(data/option): add simp lemmas for orelse

Estimated changes

added theorem option.none_orelse'
added theorem option.none_orelse
modified theorem option.orelse_none'
modified theorem option.orelse_none
deleted theorem option.orelse_some'
deleted theorem option.orelse_some
added theorem option.some_orelse'
added theorem option.some_orelse