Theorem Denumerable.raise_lower'

Modification history