Theorem QuotSMulTop.map_first_exact_on_four_term_exact_of_isSMulRegular_last

Modification history