Namespace GaussProlongation 1 theorems
- Residues of L(f)-elements lie in k(̄ fᵢ)
GaussProlongation.residue_mem_adjoin_residue_of_mem_adjoin_integers1 below · cited by 2 · depth 16
GaussProlongation 1 theoremsGaussProlongation.residue_mem_adjoin_residue_of_mem_adjoin_integers 1 below · cited by 2 · depth 16