Theorem associated_mul_isUnit_left_iff

Modification history