Theorem not_beq_of_ne

Modification history

2024-04-19 20:51

Mathlib/Logic/Basic.lean

chore(Logic): reduce use of autoImplicit (#12135) …

Modified not_beq_of_ne View on Github →

2024-02-25 13:35

Mathlib/Logic/Basic.lean

chore: bump dependencies (#10954)

Added not_beq_of_ne View on Github →