OBSOLETE EXPERIMENTAL PACKAGE SYMBOL
This functionality has been replaced by Resolve and related symbols.
tests whether the expression implies .
- To use , you first need to load the Experimental Functions Package using Needs["Experimental`"].
- returns False if it cannot determine whether implies using any of its built‐in transformation rules.
- The related function Implies[expr1,expr2] remains unevaluated if it cannot immediately determine whether implies .