[ltac] accept constrN, open_constrN and uconstrN as a tactic argument - #22329
Open
gares wants to merge 1 commit into
Open
[ltac] accept constrN, open_constrN and uconstrN as a tactic argument#22329gares wants to merge 1 commit into
gares wants to merge 1 commit into
