Theorem Denumerable.prod_nat_ofNat

Modification history