HomeIsabelle/Phabricator

formally normalized definition of singleton shifts to their primitive form