Theorem Subalgebra.mul_self

Modification history