Skip to content

coefficient_ring -> base_field for the p-adics #3082

coefficient_ring -> base_field for the p-adics

coefficient_ring -> base_field for the p-adics #3082