homomorphism_axs_ops :: OpMap -> [Named CASLFORMULA]
homomorphism_axs_ops =
  MapSet.foldWithKey (\ op_name -> (:) . homomorphism_form_op op_name) []
homomorphism_axs_ops :: OpMap -> [Named CASLFORMULA]
homomorphism_axs_ops =
  MapSet.foldWithKey (\ op_name -> (:) . homomorphism_form_op op_name) []
homomorphism_axs_ops =
  MapSet.foldWithKey (\ op_name -> (:) . homomorphism_form_op op_name) []