Theorem strict_anti_smul_left

Modification history