Mathlib v3 is deprecated. Go to Mathlib v4

Def decidable_of_bool

Modification history

2018-04-16 19:00
logic/basic.lean
feat(data/option): more option decidability
Added decidable_of_boolView on Github →