initiality icon indicating copy to clipboard operation
initiality copied to clipboard

A formalized proof of a version of the initiality conjecture