"sets/partitions.ma" [];
"sets/partitions.ma" -> "datatypes/pairs.ma" [];
"sets/partitions.ma" -> "nat/compare.ma" [];
"sets/partitions.ma" -> "nat/minus.ma" [];
"sets/partitions.ma" -> "nat/plus.ma" [];
"sets/partitions.ma" -> "sets/sets.ma" [];
"sets/partitions.ma" [];
"sets/partitions.ma" -> "datatypes/pairs.ma" [];
"sets/partitions.ma" -> "nat/compare.ma" [];
"sets/partitions.ma" -> "nat/minus.ma" [];
"sets/partitions.ma" -> "nat/plus.ma" [];
"sets/partitions.ma" -> "sets/sets.ma" [];