fact: Definition twothree_union {V} (m1 m2 : twothree V) : twothree V := twothree_fold twothree_add m2 m1.
imports: Coq.Lists.List ExtLib.Core.RelDec ExtLib.Structures.Maps ExtLib.Structures.Monads ExtLib.Structures.Reducible