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