Theorem isRightRegular_iff_left_eq_zero_of_mul

Modification history