Theorem IsAdjoinRoot.aequiv_symm

Modification history