Theorem AdjoinRoot.mk_leftInverse

Modification history