Theorem smul_preimage_set_subset

Modification history