Theorem Profinite.exists_locallyConstant_finite_nonempty

Modification history