Theorem associated_one_iff_isUnit

Modification history