Theorem exists_seq_covby_of_forall_covby_finite

Modification history