Theorem AdjoinRoot.of.injective_of_degree_ne_zero

Modification history