fact: Fixpoint ap_fm (m:Astar)(k:Astar){struct m}: CProp := match m with |nil => match k with |nil => False |cons a l => True end |cons b n => match k with |nil => True |cons a l => b[#]a or (ap_fm n l) end end.
imports: CoRN.algebra.CSetoids