Skip to content

Rename mapsto_mapsto_ne and add easier-to-use variant

Ralf Jungrequested to merge
ralf/mapsto_ne into master

This is factored out of !558 (merged); so far we were unable to agree on good names for these two lemmas.

Merge request reports