Theorem Denumerable.list_ofNat_succ

Modification history