Skip to content
GitLab

Add list_fmap_inj1, Z_to_little_endian_lookup_Some and little_endian_to_Z_spec

Merged Michael Sammler requested to merge msammler/little_endian_spec into master

Some more lemmas...