Skip to content

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

Merged
tirix merged 4 commits into
metamath:developfrom
tirix:ehl0
Oct 18, 2026
Merged

Convert Euclidean n-spaces to 0-based indices (part 1)#5531
tirix merged 4 commits into
metamath:developfrom
tirix:ehl0

Commits

  1. Commits on Oct 10, 2026

  2. Commits on Oct 11, 2026

  3. Commits on Oct 18, 2026