Theorem IsAdjoinRoot.ext

Modification history