Theorem IsAdjoinRoot.ext_map

Modification history