It seems that Ltac2 Set does not support any locality attributes. What's its default locality?
Ltac2 Set
Last updated: Jun 10 2023 at 06:31 UTC