Theorem not_false_iff
Modification history
2022-09-08 18:38
Mathlib/Init/Logic.lean
chore: bump std4 09-08 (#403) …
Deleted not_false_iffView on Github →2021-11-22 15:44
Mathlib/Init/Logic.lean
feat: add simp linter (#100) …
Modified not_false_iffView on Github →