Theorem NumberField.InfinitePlace.isUnramified

Modification history