Unsound result involving existential quantification and append sequence

Description

This result seems unsound:

ProB says:

Environment

None

Activity

Show:

Details

Assignee

Reporter

Priority

Created November 11, 2020 at 8:55 PM
Updated November 11, 2020 at 8:55 PM