Theorem NumberField.InfinitePlace.mkReal_coe

Modification history