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