Commit 2025-10-14 16:26 6e58d233

feat(Tactic/Order): frontend for order (#27066)

• Support order [h1, h2] and order only [h1, h2] syntax.
• Split conjunctions while extracting facts from the context. E.g. hypotheses in the form A ∧ B are converted into two facts A and B.
• Similarly, extract facts from existential quantifiers in the hypotheses.