Theorem Denumerable.encode_ofNat

Modification history