Theorem IsAdjoinRoot.aequiv_ofEquiv

Modification history