Theorem is_descending_rev_series_of_is_ascending

Modification history