matrix): the determinant is a continuous map (#10503)

Commit

4 years ago

feat(topology/algebra/matrix): the determinant is a continuous map (#10503) Formalized as part of the Sphere Eversion project.

Author

ocfnash

Parents