Theorem AdjoinRoot.finitePresentation

Modification history