Theorem bool.eq_tt_of_bnot_eq_ff
Modification history
2022-10-25 22:36
src/data/bool/basic.lean
feat(data/bool/basic): add several lemmas (#17153) …
Modified bool.eq_tt_of_bnot_eq_ffView on Github →2018-07-16 20:17
data/bool.lean
refactor(data/bool): decidable forall bool
Modified bool.eq_tt_of_bnot_eq_ffView on Github →