Theorem Decidable.not_and

Modification history

2022-09-08 18:38
Mathlib/Logic/Basic.lean
chore: bump std4 09-08 (#403) …
Deleted Decidable.not_andView on Github →
2021-08-11 18:47
Mathlib/Logic/Basic.lean
update lean to nightly-2021-08-11 (#32)
Modified Decidable.not_andView on Github →
2021-05-10 04:19
Mathlib/Logic/Basic.lean
import init.data.nat.lemmas
Added Decidable.not_andView on Github →