mathlib3

27929793 - chore(topology/*): rename compact_univ to is_compact_univ, and many more (#17436)

chore(topology/*): rename compact_univ to is_compact_univ, and many more (#17436) Many lemma names about compact sets have `compact` instead of `is_compact` in their names, for historical reasons. We rename several of them to match more closely the naming convention.