Theorem AdjoinRoot.mk_ne_zero_of_natDegree_lt

Modification history