The oops command in special in various ways, and can lead to odd indentation in the following example (Isabelle2019):
lemma "A ⟹ B" oops term C
The oops command in special in various ways, and can lead to odd indentation in the following example (Isabelle2019):
lemma "A ⟹ B" oops term C