Theorem TopologicalSpace.Clopens.surjective_finset_sup_prod

chore: rename `second_countable` -> `secondCountable` in lemma and instance names (#18911) …

feat(Topology): clopen subsets of products of compact spaces are unions of clopen boxes (#8678)