Delete sheaf_induction_bak.v