Theorem AdjoinRoot.isAdjoinRoot_map_eq_mk

Modification history