Delete domain_wall_invariance.thy