Theorem cot_series_rep'

Modification history