Theorem NumberField.InfinitePlace.IsUnramified.of_restrictScalars

Modification history