Theorem IsAdjoinRoot.mem_ker_map

Modification history