Theorem Denumerable.raise_lower

Modification history