Theorem AdjoinRoot.coe_injective'

Modification history