Theorem QuotSMulTop.map_comp_mkQ

Modification history