Theorem Denumerable.list_ofNat_zero

Modification history