Theorem isUnit_iff_eq_one

Modification history