It seems that Ltac2 Set does not support any locality attributes. What's its default locality?
Ltac2 Set
Last updated: Mar 29 2024 at 05:40 UTC