Theorem le_isUnit_iff_zero_not_mem

Modification history