Theorem Denumerable.raise'_sorted

Modification history