Commit 2024-02-24 18:05 fd1b0477
View on Github →feat: Add Module.End.baseChangeHom
(#10928)
This is a more-bundled version of LinearMap.baseChangeHom
feat: Add Module.End.baseChangeHom
(#10928)
This is a more-bundled version of LinearMap.baseChangeHom