Theorem List.replicate_subset_singleton

Modification history