Model has proofs with steps. Proof cache will be deleted. After making changes to the model, the stored
tactics may need editing when re-opening the proofs. If you want to keep the proof cache, please copy the
model content, cancel editing, and create a new model instead.
After editing the model, the tactic is rerun but may also need editing.