Theorem tsupport_smul_subset_left

Modification history