rm lemma list from core