HomeIsabelle/Phabricator

fixed broken abstract for PAPP_Impossibility