Theorem IsAdjoinRoot.map_repr

Modification history