Theorem Denumerable.ofNat_nat

Modification history