Theorem isRegular_iff_isUnit_of_finite

Modification history