import Lean

register_simp_attr set_simps
