Replaced |- ( [ x / y ] with |- ( [ y / x ] in set.mm, iset.mm and nf.mm#3571
Merged
jkingdon merged 3 commits intometamath:developfrom GinoGiotto:xyOct 13, 2023
+344-345
|- ( [ x / y ] with |- ( [ y / x ] in set.mm, iset.mm and nf.mm#3571