sum_lepoll_self, cadd_le_self, prod_lepoll_self, cmult_le_self, sum_lepoll_mono, cadd_le_mono, prod_lepoll_mono, cmult_le_mono, InfCard_cmult_eq, cmult_2: new
sum_lepoll_self, cadd_le_self, prod_lepoll_self,
cmult_le_self, sum_lepoll_mono, cadd_le_mono, prod_lepoll_mono,
cmult_le_mono, InfCard_cmult_eq, cmult_2: new

well_ord_lepoll_imp_le: renamed to well_ord_lepoll_imp_Card_le

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle