Theorem NumberField.InfinitePlace.coe_apply

Modification history