Theorem IsAdjoinRoot.map_X

Modification history