Commit 2021-12-18 16:15 915e2b5b
View on Github →feat(linear_algebra/orientation): add orientation.map (#10815)
This also adds alternating_map.dom_lcongr
following the naming established by finsupp.dom_lcongr
.
feat(linear_algebra/orientation): add orientation.map (#10815)
This also adds alternating_map.dom_lcongr
following the naming established by finsupp.dom_lcongr
.