Commit 2021-11-15 21:01 93047c52
View on Github →feat(linear_algebra/determinant): linear coordinates are ratio of determinants (#10261) Formalized as part of the Sphere Eversion project.
feat(linear_algebra/determinant): linear coordinates are ratio of determinants (#10261) Formalized as part of the Sphere Eversion project.