Theorem IsAdjoinRoot.aequiv_self

Modification history