Theorem AdjoinRoot.mul_div_root_cancel

Modification history