Theorem Subalgebra.smul_mem

Modification history