add singleton_insert_empty
2 unresolved threads
2 unresolved threads
Compare changes
This is just an unfolding, but with all the typeclasses that is impossible to find out and also not actually useful when applying lemmas.