Theorem IsAdjoinRoot.subsingleton

Modification history