Theorem NumberField.InfinitePlace.comap_mk_lift

Modification history