Theorem isUnit_mul_self_iff

Modification history