Theorem IsDedekindDomainInv.isDedekindDomain

Modification history