Theorem AdjoinRoot.quotEquivQuotMap_symm_apply_mk

Modification history