HomeIsabelle/Phabricator

Removed unnecessary and problematic trivial lemma from HOL-Algebra