Specified-last-entry ordering: every finite set has a SAFE ordering ending at any prescribed element

Initializing...

Specified-last-entry ordering: every finite set has a SAFE ordering ending at any prescribed element · Prove2Me