Theorem maximalIdeal_isPrincipal_of_isDedekindDomain

Modification history