proposition: Lemma sm_imp_wm (fi : symPI) : poly_sm fi -> poly_wm fi.
proof: Proof. fo. Qed.
imports: Coq(Program) CoLoR(ListUtil LogicUtil ZUtil VecUtil Problem ATrs SN APolyInt Polynom RelUtil MonotonePolynom PositivePolynom NaryFunction MonAlgChecker IntBasedChecker Proof OptUtil AWFMInterpretation)