Theorem NumberField.InfinitePlace.Completion.norm_coe

Modification history