Theorem filter.has_basis.prod_nhds'

feat(geometry/manifold): manifold modelled on locally compact vector space is locally compact (#6394) …