Theorem beq_eq_decide

Modification history

2024-04-19 20:51

Mathlib/Logic/Basic.lean

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

Modified beq_eq_decide View on Github →

2024-02-25 13:35

Mathlib/Logic/Basic.lean

chore: bump dependencies (#10954)

Added beq_eq_decide View on Github →