Theorem AdjoinRoot.isAdjoinRootMonic_map_eq_mk

Modification history