twee-lib-2.4: An equational theorem prover

Index - J

joinCriticalPairTwee.Join
joinWithTwee.Join