Description: The equivalence between the right conjuncts in the right hand sides of isdomn and isdomn2 , in predicate calculus form. (Contributed by SN, 16-Sep-2024)