Theorem NumberField.InfinitePlace.even_finrank_of_not_isUnramified

Modification history