feat: add empty_eq_image simp lemmas
#33363
+7
−0
Open
Loading