Spanish edit

Verb edit

compactificar

  1. (mathematics) compactify