Def NumberField.InfinitePlace.Completion.isometryEquiv_real_of_isReal

Modification history