Aha, Tactic Notation with uconstr(...) arguments. Thanks!
Tactic Notation
uconstr(...)
James Wood has marked this topic as resolved.
Last updated: Jan 27 2023 at 01:03 UTC