Commit 2021-02-25 21:38 d4966769
View on Github →feat(geometry/manifold): manifold modelled on locally compact vector space is locally compact (#6394)
Also connect locally_compact_space
to filter.has_basis
.
feat(geometry/manifold): manifold modelled on locally compact vector space is locally compact (#6394)
Also connect locally_compact_space
to filter.has_basis
.