Theorem AdjoinRoot.quotEquivQuotMap_apply_mk

Modification history