Theorem Profinite.exists_locallyConstant_fin_two

Modification history