Theorem Denumerable.ofNat_encode

Modification history