Theorem Subalgebra.coe_pointwise_smul

Modification history