Theorem IsDedekindDomain.isDedekindDomainDvr

Modification history