Theorem MulAction.isBlock_iff_smul_eq_of_nonempty

Modification history