[[!redirects infinitesimally thickened point]] < [[nlab:infinitesimally thickened point]] category: redirected to nlab