Mathlib v3 is deprecated. Go to Mathlib v4

Theorem bool.not_ff

Modification history

2021-12-12 06:54
src/data/bool/basic.lean
move(data/bool/*): Move `bool` files in one folder (#10718) …
Modified bool.not_ffView on Github →
2018-04-16 19:00
data/bool.lean
feat(data/option): more option decidability
Added bool.not_ffView on Github →