Theorem QuotSMulTop.map_apply_mk

Modification history