intro hf
n : Nat
f : DefaultFormula n
id : Nat
⊢ f.strong_assignments_invariant → (f.deleteOne id).strong_assignments_invariant
n : Nat
f : DefaultFormula n
id : Nat
hf : f.strong_assignments_invariant
⊢ (f.deleteOne id).strong_assignments_invariant