fix(tactic/core): mk_simp_attribute: remove superfluous disjunct (#8648)
fix(tactic/core): mk_simp_attribute: remove superfluous disjunct (#8648)

`with_ident_list` already returns `[]` if `with` is not present.



leanprover-community/mathlib,leanprover-community/mathlib