Skip to content

use ProjectTo in rules for constructors of triangular matrixes - #607

Merged
devmotion merged 2 commits into
mainfrom
ox/triconprojec
Oct 29, 2026
Merged

use ProjectTo in rules for constructors of triangular matrixes#607
devmotion merged 2 commits into
mainfrom
ox/triconprojec

Commits

  1. Commits on Apr 12, 2022

  2. Commits on Oct 29, 2026