Theorem Denumerable.decode_isSome

Modification history