Def IsAdjoinRoot.ofEquiv

Modification history