Convert Euclidean n-spaces to 0-based indices (part 1) - #5531

Convert Euclidean n-spaces to 0-based indices (part 1)#5531

tirix merged 4 commits into

metamath:developmetamath/set.mm:developfrom

tirix:ehl0tirix/set.mm:ehl0Copy head branch name to clipboard