Theorem QuotSMulTop.map_exact

Modification history