Namespace IsAdjoinRoot 1 theorems
- Lower bound for minimal primes of a monogenic extension
IsAdjoinRoot.mul_ncard_minimalPrimes_le_of_forall_exists_roots0 below · cited by 2 · depth 38
IsAdjoinRoot 1 theoremsIsAdjoinRoot.mul_ncard_minimalPrimes_le_of_forall_exists_roots 0 below · cited by 2 · depth 38