Commit 2018-04-16 19:00 6dd2bc0e

View on Github →

feat(data/option): more option decidability

Estimated changes

Modified data/bool.lean

added theorem bool.not_ff

Modified data/option.lean

added theorem option.is_none_iff_eq_none

modified def option.to_list

Modified logic/basic.lean

added def decidable_of_bool