Theorem Denumerable.decode_eq_ofNat

Modification history