Theorem eq_comm_eq

Modification history

2026-05-13 15:45
Mathlib/Logic/Basic.lean
feat(Logic): declare optional simprocs for commuting equality and iff (#37850) …
Added eq_comm_eqView on Github →