pub fn gap_eth_ty() -> Expr
GapETH : Prop Gap-ETH: there is no FPT approximation scheme for k-Clique unless Gap-ETH fails.
GapETH : Prop