Theorem Denumerable.lower_raise

Modification history