twee-lib-2.4: An equational theorem prover

Index - &

&&&Twee.Constraints