Description: The FOL content of ceqsalt . Lemma for bj-ceqsalt and bj-ceqsaltv . (Contributed by BJ, 26-Sep-2019) (Proof modification is discouraged.)