Theorem NumberField.InfinitePlace.isUnramified_self

Modification history