Ontify
Theorem that every continuous function on a compact Hausdorff space can be approximated by certain families of continuous functions.