Theorem CovBy.exists_finset_erase

Modification history