Theorem Subalgebra.smul_mem_pointwise_smul

Modification history