Theorem is_ascending_rev_series_of_is_descending

Modification history