Theorem AdjoinRoot.quotMapOfEquivQuotMapCMapSpanMk_symm_mk

Modification history