Theorem AdjoinRoot.minpoly_powerBasis_gen_of_monic

Modification history