Theorem Subalgebra.LinearDisjoint.of_basis_mul

Modification history