efxmap`deep-disjoint-join-implies-equiv