Theorem Subalgebra.LinearDisjoint.linearIndependent_mul_of_flat_left

Modification history