Theorem Subalgebra.mem_restrictScalars

Modification history