Theorem ne_comm

Modification history

2022-09-08 18:38
Mathlib/Logic/Basic.lean
chore: bump std4 09-08 (#403) …
Deleted ne_commView on Github →
2022-06-11 08:07
Mathlib/Logic/Basic.lean
feat: add ne_comm (#283)
Added ne_commView on Github →