dimension counting

  1. REDIRECT Codimension