Theorem TotallyBounded.exists_subset

Modification history