Theorem Set.add_smul_subset

Modification history