Remove duplicated total-iso lemma