Theorem AddAction.automorphize_smul_left

Modification history