Theorem NumberField.InfinitePlace.comap_id

Modification history