Theorem MulAction.isBlock_iff_disjoint_smul_of_ne

Modification history