Skip to content

Apply substs from Phi and Ksi on current attribute#174

Merged
aabounegm merged 3 commits intomasterfrom apply-subst-current-attrMar 4, 2024